{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:AQRJCHEK4RBWH2SZ5KX3SLMXYQ","short_pith_number":"pith:AQRJCHEK","canonical_record":{"source":{"id":"1103.5916","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-03-30T13:14:03Z","cross_cats_sorted":[],"title_canon_sha256":"907e7588834823cce257bcf3602ac5f417bac7b29d9f6301b9e102712c7ede39","abstract_canon_sha256":"9e934ff3233d613887f433ebe8f472ab481b28d8aa4173f65da215300c6a2920"},"schema_version":"1.0"},"canonical_sha256":"0422911c8ae44363ea59eaafb92d97c40b3ee2220e8c5e371bcd79046ec5da02","source":{"kind":"arxiv","id":"1103.5916","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.5916","created_at":"2026-05-18T04:23:55Z"},{"alias_kind":"arxiv_version","alias_value":"1103.5916v1","created_at":"2026-05-18T04:23:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.5916","created_at":"2026-05-18T04:23:55Z"},{"alias_kind":"pith_short_12","alias_value":"AQRJCHEK4RBW","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"AQRJCHEK4RBWH2SZ","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"AQRJCHEK","created_at":"2026-05-18T12:26:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:AQRJCHEK4RBWH2SZ5KX3SLMXYQ","target":"record","payload":{"canonical_record":{"source":{"id":"1103.5916","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-03-30T13:14:03Z","cross_cats_sorted":[],"title_canon_sha256":"907e7588834823cce257bcf3602ac5f417bac7b29d9f6301b9e102712c7ede39","abstract_canon_sha256":"9e934ff3233d613887f433ebe8f472ab481b28d8aa4173f65da215300c6a2920"},"schema_version":"1.0"},"canonical_sha256":"0422911c8ae44363ea59eaafb92d97c40b3ee2220e8c5e371bcd79046ec5da02","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:23:55.989873Z","signature_b64":"tgDYiChY+GwMUTPT9adJOJs3VM6Ta4WAHmYoWupxTKHvyOWF4lp2cKTtCcdUo1I6JRXT92aIPrQTUaIxNy4LCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0422911c8ae44363ea59eaafb92d97c40b3ee2220e8c5e371bcd79046ec5da02","last_reissued_at":"2026-05-18T04:23:55.989450Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:23:55.989450Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1103.5916","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:23:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B0mYcLdna8yF65lMHDT3mQ1HtdNDrIWliNgl7BlKPP5GFJDotTgOiMDaKyqUy/25XXH18vMbbYZ+AIfuh2uBBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:53:51.569540Z"},"content_sha256":"4145e5a3f4c38b988e9fd89d7f0d8a9c01ff733ed63978e303208bdfb8dc5724","schema_version":"1.0","event_id":"sha256:4145e5a3f4c38b988e9fd89d7f0d8a9c01ff733ed63978e303208bdfb8dc5724"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:AQRJCHEK4RBWH2SZ5KX3SLMXYQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Abstract Processes of Place/Transition Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Jens-Wolfhard Schicke, Rob van Glabbeek, Ursula Goltz","submitted_at":"2011-03-30T13:14:03Z","abstract_excerpt":"A well-known problem in Petri net theory is to formalise an appropriate causality-based concept of process or run for place/transition systems. The so-called individual token interpretation, where tokens are distinguished according to their causal history, giving rise to the processes of Goltz and Reisig, is often considered too detailed. The problem of defining a fully satisfying more abstract concept of process for general place/transition systems has so-far not been solved. In this paper, we recall the proposal of defining an abstract notion of process, here called BD-process, in terms of e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.5916","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:23:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3MJ5zqEpzg0kQXX32vJNDd98iL9hgFdTbcLyfW9zP+I5s3ezFMptqbilXkcrk7KJysBB+pp+Z4BhjekVka3DDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:53:51.570170Z"},"content_sha256":"9599f367a034c78f17edaafee0bc6df39287e906724ba49dff15eeeecbcc4b2c","schema_version":"1.0","event_id":"sha256:9599f367a034c78f17edaafee0bc6df39287e906724ba49dff15eeeecbcc4b2c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AQRJCHEK4RBWH2SZ5KX3SLMXYQ/bundle.json","state_url":"https://pith.science/pith/AQRJCHEK4RBWH2SZ5KX3SLMXYQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AQRJCHEK4RBWH2SZ5KX3SLMXYQ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-27T16:53:51Z","links":{"resolver":"https://pith.science/pith/AQRJCHEK4RBWH2SZ5KX3SLMXYQ","bundle":"https://pith.science/pith/AQRJCHEK4RBWH2SZ5KX3SLMXYQ/bundle.json","state":"https://pith.science/pith/AQRJCHEK4RBWH2SZ5KX3SLMXYQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AQRJCHEK4RBWH2SZ5KX3SLMXYQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:AQRJCHEK4RBWH2SZ5KX3SLMXYQ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"9e934ff3233d613887f433ebe8f472ab481b28d8aa4173f65da215300c6a2920","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-03-30T13:14:03Z","title_canon_sha256":"907e7588834823cce257bcf3602ac5f417bac7b29d9f6301b9e102712c7ede39"},"schema_version":"1.0","source":{"id":"1103.5916","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.5916","created_at":"2026-05-18T04:23:55Z"},{"alias_kind":"arxiv_version","alias_value":"1103.5916v1","created_at":"2026-05-18T04:23:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.5916","created_at":"2026-05-18T04:23:55Z"},{"alias_kind":"pith_short_12","alias_value":"AQRJCHEK4RBW","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"AQRJCHEK4RBWH2SZ","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"AQRJCHEK","created_at":"2026-05-18T12:26:24Z"}],"graph_snapshots":[{"event_id":"sha256:9599f367a034c78f17edaafee0bc6df39287e906724ba49dff15eeeecbcc4b2c","target":"graph","created_at":"2026-05-18T04:23:55Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"A well-known problem in Petri net theory is to formalise an appropriate causality-based concept of process or run for place/transition systems. The so-called individual token interpretation, where tokens are distinguished according to their causal history, giving rise to the processes of Goltz and Reisig, is often considered too detailed. The problem of defining a fully satisfying more abstract concept of process for general place/transition systems has so-far not been solved. In this paper, we recall the proposal of defining an abstract notion of process, here called BD-process, in terms of e","authors_text":"Jens-Wolfhard Schicke, Rob van Glabbeek, Ursula Goltz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-03-30T13:14:03Z","title":"Abstract Processes of Place/Transition Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.5916","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4145e5a3f4c38b988e9fd89d7f0d8a9c01ff733ed63978e303208bdfb8dc5724","target":"record","created_at":"2026-05-18T04:23:55Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"9e934ff3233d613887f433ebe8f472ab481b28d8aa4173f65da215300c6a2920","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-03-30T13:14:03Z","title_canon_sha256":"907e7588834823cce257bcf3602ac5f417bac7b29d9f6301b9e102712c7ede39"},"schema_version":"1.0","source":{"id":"1103.5916","kind":"arxiv","version":1}},"canonical_sha256":"0422911c8ae44363ea59eaafb92d97c40b3ee2220e8c5e371bcd79046ec5da02","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0422911c8ae44363ea59eaafb92d97c40b3ee2220e8c5e371bcd79046ec5da02","first_computed_at":"2026-05-18T04:23:55.989450Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:23:55.989450Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tgDYiChY+GwMUTPT9adJOJs3VM6Ta4WAHmYoWupxTKHvyOWF4lp2cKTtCcdUo1I6JRXT92aIPrQTUaIxNy4LCA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:23:55.989873Z","signed_message":"canonical_sha256_bytes"},"source_id":"1103.5916","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4145e5a3f4c38b988e9fd89d7f0d8a9c01ff733ed63978e303208bdfb8dc5724","sha256:9599f367a034c78f17edaafee0bc6df39287e906724ba49dff15eeeecbcc4b2c"],"state_sha256":"b2dd8c3cd25e7657c7060d5d4ee75e92dcffb8ecf6e2269905fcf8a12969af40"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aiFDrj5m0UluD/AaEo1RS9Jf67OXt/KXwIiPp3AIJIaQaZORp9z0bxj1PEPMkyANnIJ6P04q6TxRRZIT5mkqAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T16:53:51.573329Z","bundle_sha256":"ed17bfdd09b77d71b05e4f63ad10f4fcfb0a276b1af3a8fac8fcb61c1fff3bc7"}}