{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:54V44HYDM3LN32UV6IO2UADLFB","short_pith_number":"pith:54V44HYD","canonical_record":{"source":{"id":"1509.05842","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-19T02:21:49Z","cross_cats_sorted":[],"title_canon_sha256":"37757b744e396bcc227b086f0a6ee450c5c7c66cd4f32fb88a08f26a4e39086a","abstract_canon_sha256":"907827798d732351e533374545cecd8ce123f660718f845c50599b531fc319bc"},"schema_version":"1.0"},"canonical_sha256":"ef2bce1f0366d6ddea95f21daa006b2868bf09654e7a1409a80db272aac8f966","source":{"kind":"arxiv","id":"1509.05842","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05842","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05842v1","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05842","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"pith_short_12","alias_value":"54V44HYDM3LN","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"54V44HYDM3LN32UV","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"54V44HYD","created_at":"2026-05-18T12:29:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:54V44HYDM3LN32UV6IO2UADLFB","target":"record","payload":{"canonical_record":{"source":{"id":"1509.05842","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-19T02:21:49Z","cross_cats_sorted":[],"title_canon_sha256":"37757b744e396bcc227b086f0a6ee450c5c7c66cd4f32fb88a08f26a4e39086a","abstract_canon_sha256":"907827798d732351e533374545cecd8ce123f660718f845c50599b531fc319bc"},"schema_version":"1.0"},"canonical_sha256":"ef2bce1f0366d6ddea95f21daa006b2868bf09654e7a1409a80db272aac8f966","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:32:36.549504Z","signature_b64":"yPoX3bq0dEY9k05MCMk6NcZriHkE1AktLuinIpMC/Qy2Q9Q+XQY8hoSQiv2/UypM/eb+9thVe47HDeds3piTCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ef2bce1f0366d6ddea95f21daa006b2868bf09654e7a1409a80db272aac8f966","last_reissued_at":"2026-05-18T01:32:36.549062Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:32:36.549062Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.05842","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-18T01:32:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"64veRLnDyvrIwHtQFsnPKos4+TDO1z2WUXxKIJ/cOOedp8rDzIQ/EabTtqRParYScJsew06h3j3ZnemUx83eAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T14:05:28.964418Z"},"content_sha256":"314574c8b6c87364e2099b832e6b74b5204710e3833fffa7aad8751c651cf9bd","schema_version":"1.0","event_id":"sha256:314574c8b6c87364e2099b832e6b74b5204710e3833fffa7aad8751c651cf9bd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:54V44HYDM3LN32UV6IO2UADLFB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Rob van Glabbeek","submitted_at":"2015-09-19T02:21:49Z","abstract_excerpt":"In 1987 Ernst-R\\\"udiger Olderog provided an operational Petri net semantics for a subset of CCSP, the union of Milner's CCS and Hoare's CSP. It assigns to each process term in the subset a labelled, safe place/transition net. To demonstrate the correctness of the approach, Olderog established agreement (1) with the standard interleaving semantics of CCSP up to strong bisimulation equivalence, and (2) with standard denotational interpretations of CCSP operators in terms of Petri nets up to a suitable semantic equivalence that fully respects the causal structure of nets. For the latter he employ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05842","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-18T01:32:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Otz9eqUn6RWY70/splcwPnx5NdvcB1Ni7Y4QU9teW/OrqxTCwZ5SlLrAwXT2Fc84/ouRfB0yRHvVkgk8zUWUCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T14:05:28.965084Z"},"content_sha256":"3cb6f99e45b560c76dfe7ad7fd70c810a621e4d4c026c74752b763e66497248e","schema_version":"1.0","event_id":"sha256:3cb6f99e45b560c76dfe7ad7fd70c810a621e4d4c026c74752b763e66497248e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/54V44HYDM3LN32UV6IO2UADLFB/bundle.json","state_url":"https://pith.science/pith/54V44HYDM3LN32UV6IO2UADLFB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/54V44HYDM3LN32UV6IO2UADLFB/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-27T14:05:28Z","links":{"resolver":"https://pith.science/pith/54V44HYDM3LN32UV6IO2UADLFB","bundle":"https://pith.science/pith/54V44HYDM3LN32UV6IO2UADLFB/bundle.json","state":"https://pith.science/pith/54V44HYDM3LN32UV6IO2UADLFB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/54V44HYDM3LN32UV6IO2UADLFB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:54V44HYDM3LN32UV6IO2UADLFB","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":"907827798d732351e533374545cecd8ce123f660718f845c50599b531fc319bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-19T02:21:49Z","title_canon_sha256":"37757b744e396bcc227b086f0a6ee450c5c7c66cd4f32fb88a08f26a4e39086a"},"schema_version":"1.0","source":{"id":"1509.05842","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05842","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05842v1","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05842","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"pith_short_12","alias_value":"54V44HYDM3LN","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"54V44HYDM3LN32UV","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"54V44HYD","created_at":"2026-05-18T12:29:05Z"}],"graph_snapshots":[{"event_id":"sha256:3cb6f99e45b560c76dfe7ad7fd70c810a621e4d4c026c74752b763e66497248e","target":"graph","created_at":"2026-05-18T01:32:36Z","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":"In 1987 Ernst-R\\\"udiger Olderog provided an operational Petri net semantics for a subset of CCSP, the union of Milner's CCS and Hoare's CSP. It assigns to each process term in the subset a labelled, safe place/transition net. To demonstrate the correctness of the approach, Olderog established agreement (1) with the standard interleaving semantics of CCSP up to strong bisimulation equivalence, and (2) with standard denotational interpretations of CCSP operators in terms of Petri nets up to a suitable semantic equivalence that fully respects the causal structure of nets. For the latter he employ","authors_text":"Rob van Glabbeek","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-19T02:21:49Z","title":"Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05842","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:314574c8b6c87364e2099b832e6b74b5204710e3833fffa7aad8751c651cf9bd","target":"record","created_at":"2026-05-18T01:32:36Z","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":"907827798d732351e533374545cecd8ce123f660718f845c50599b531fc319bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-19T02:21:49Z","title_canon_sha256":"37757b744e396bcc227b086f0a6ee450c5c7c66cd4f32fb88a08f26a4e39086a"},"schema_version":"1.0","source":{"id":"1509.05842","kind":"arxiv","version":1}},"canonical_sha256":"ef2bce1f0366d6ddea95f21daa006b2868bf09654e7a1409a80db272aac8f966","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ef2bce1f0366d6ddea95f21daa006b2868bf09654e7a1409a80db272aac8f966","first_computed_at":"2026-05-18T01:32:36.549062Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:32:36.549062Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yPoX3bq0dEY9k05MCMk6NcZriHkE1AktLuinIpMC/Qy2Q9Q+XQY8hoSQiv2/UypM/eb+9thVe47HDeds3piTCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:32:36.549504Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.05842","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:314574c8b6c87364e2099b832e6b74b5204710e3833fffa7aad8751c651cf9bd","sha256:3cb6f99e45b560c76dfe7ad7fd70c810a621e4d4c026c74752b763e66497248e"],"state_sha256":"e3198e613ea92d3e53c7e16f12ca9c0abd9880f3eb3f6908486a54e01f8043cf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/bK4G6jX8ptEVQVb4alXMT/3rixkfUTOqZv7x2t+qIQJJYrglscxJCCz1eEyA72OrSA/Cxm0UXjKgULgehgXBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T14:05:28.968379Z","bundle_sha256":"8e9b298e0d7201c03e4be73bb43edceaa6cdcb4c1831fbd4de054427a1e5d65d"}}