{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2008:VXUIZCPYTL4HVC7D4NIU4NBOIK","short_pith_number":"pith:VXUIZCPY","canonical_record":{"source":{"id":"0809.4115","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-09-24T09:28:18Z","cross_cats_sorted":[],"title_canon_sha256":"11d4614fa0214b4f724fe65ade50926b1d4b12ca1bb2b3bad1e86d75c2ded9c5","abstract_canon_sha256":"86624fb002e5bb829a4f87c4657c111a2c0c154883cc6e59358947acbb07479b"},"schema_version":"1.0"},"canonical_sha256":"ade88c89f89af87a8be3e3514e342e42a66bf908b7760c3801c1a04806326dbd","source":{"kind":"arxiv","id":"0809.4115","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0809.4115","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"arxiv_version","alias_value":"0809.4115v2","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0809.4115","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"pith_short_12","alias_value":"VXUIZCPYTL4H","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"VXUIZCPYTL4HVC7D","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"VXUIZCPY","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2008:VXUIZCPYTL4HVC7D4NIU4NBOIK","target":"record","payload":{"canonical_record":{"source":{"id":"0809.4115","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-09-24T09:28:18Z","cross_cats_sorted":[],"title_canon_sha256":"11d4614fa0214b4f724fe65ade50926b1d4b12ca1bb2b3bad1e86d75c2ded9c5","abstract_canon_sha256":"86624fb002e5bb829a4f87c4657c111a2c0c154883cc6e59358947acbb07479b"},"schema_version":"1.0"},"canonical_sha256":"ade88c89f89af87a8be3e3514e342e42a66bf908b7760c3801c1a04806326dbd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:40.708687Z","signature_b64":"kwbE6u2g8yr+qCE9NQPwWAgVDGzgjq3ScBhHArGpdFEmgK/m6SP/NWfBpMKTfoB2lhwShxWh+P/bi5UySqwTBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ade88c89f89af87a8be3e3514e342e42a66bf908b7760c3801c1a04806326dbd","last_reissued_at":"2026-05-18T01:37:40.708007Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:40.708007Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0809.4115","source_version":2,"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:37:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9trnmqkxNIZm/PFPRXosoJVsGMsDsR61xY7a5vyITWtego1/QWkEUfrfak9visJ/amsT4EeSbGYOpwS+L9cnCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:22:19.693476Z"},"content_sha256":"da7fa805f34eb54bd4bdc6c31768e30027a5abcaaf71d596622724208398d78c","schema_version":"1.0","event_id":"sha256:da7fa805f34eb54bd4bdc6c31768e30027a5abcaaf71d596622724208398d78c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2008:VXUIZCPYTL4HVC7D4NIU4NBOIK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Andrea Corradini, Barbara K\\\"onig, Hartmut Ehrig, Paolo Baldan, Reiko Heckel","submitted_at":"2008-09-24T09:28:18Z","abstract_excerpt":"We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary Place/Transition nets suited to model open systems which might interact with the surrounding environment and endowed with a colimit-based composition operation. We show that natural notions of bisimilarity over open nets are congruences with respect to the composition operation. The considered behavioural equivalences differ for the choice of the observations, which can be single firings or parallel steps"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0809.4115","kind":"arxiv","version":2},"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:37:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uHcISDg67b/jPqLiriyzYr59uvA/I0Ag4gf4+kwBEKZHsFcw1skeFlh0WEOCMxhX+HgyVplq43RCV7S5aHiABQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:22:19.694137Z"},"content_sha256":"d6136cb5e67aca6c8ea5db7a2153645eda2abaa09f744848ecbdf50cafbc09a9","schema_version":"1.0","event_id":"sha256:d6136cb5e67aca6c8ea5db7a2153645eda2abaa09f744848ecbdf50cafbc09a9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VXUIZCPYTL4HVC7D4NIU4NBOIK/bundle.json","state_url":"https://pith.science/pith/VXUIZCPYTL4HVC7D4NIU4NBOIK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VXUIZCPYTL4HVC7D4NIU4NBOIK/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-31T23:22:19Z","links":{"resolver":"https://pith.science/pith/VXUIZCPYTL4HVC7D4NIU4NBOIK","bundle":"https://pith.science/pith/VXUIZCPYTL4HVC7D4NIU4NBOIK/bundle.json","state":"https://pith.science/pith/VXUIZCPYTL4HVC7D4NIU4NBOIK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VXUIZCPYTL4HVC7D4NIU4NBOIK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:VXUIZCPYTL4HVC7D4NIU4NBOIK","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":"86624fb002e5bb829a4f87c4657c111a2c0c154883cc6e59358947acbb07479b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-09-24T09:28:18Z","title_canon_sha256":"11d4614fa0214b4f724fe65ade50926b1d4b12ca1bb2b3bad1e86d75c2ded9c5"},"schema_version":"1.0","source":{"id":"0809.4115","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0809.4115","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"arxiv_version","alias_value":"0809.4115v2","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0809.4115","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"pith_short_12","alias_value":"VXUIZCPYTL4H","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"VXUIZCPYTL4HVC7D","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"VXUIZCPY","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:d6136cb5e67aca6c8ea5db7a2153645eda2abaa09f744848ecbdf50cafbc09a9","target":"graph","created_at":"2026-05-18T01:37:40Z","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":"We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary Place/Transition nets suited to model open systems which might interact with the surrounding environment and endowed with a colimit-based composition operation. We show that natural notions of bisimilarity over open nets are congruences with respect to the composition operation. The considered behavioural equivalences differ for the choice of the observations, which can be single firings or parallel steps","authors_text":"Andrea Corradini, Barbara K\\\"onig, Hartmut Ehrig, Paolo Baldan, Reiko Heckel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-09-24T09:28:18Z","title":"Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0809.4115","kind":"arxiv","version":2},"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:da7fa805f34eb54bd4bdc6c31768e30027a5abcaaf71d596622724208398d78c","target":"record","created_at":"2026-05-18T01:37:40Z","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":"86624fb002e5bb829a4f87c4657c111a2c0c154883cc6e59358947acbb07479b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-09-24T09:28:18Z","title_canon_sha256":"11d4614fa0214b4f724fe65ade50926b1d4b12ca1bb2b3bad1e86d75c2ded9c5"},"schema_version":"1.0","source":{"id":"0809.4115","kind":"arxiv","version":2}},"canonical_sha256":"ade88c89f89af87a8be3e3514e342e42a66bf908b7760c3801c1a04806326dbd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ade88c89f89af87a8be3e3514e342e42a66bf908b7760c3801c1a04806326dbd","first_computed_at":"2026-05-18T01:37:40.708007Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:40.708007Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kwbE6u2g8yr+qCE9NQPwWAgVDGzgjq3ScBhHArGpdFEmgK/m6SP/NWfBpMKTfoB2lhwShxWh+P/bi5UySqwTBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:40.708687Z","signed_message":"canonical_sha256_bytes"},"source_id":"0809.4115","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:da7fa805f34eb54bd4bdc6c31768e30027a5abcaaf71d596622724208398d78c","sha256:d6136cb5e67aca6c8ea5db7a2153645eda2abaa09f744848ecbdf50cafbc09a9"],"state_sha256":"f2bed6d4d0f56501aa12a02c774827ae4848347ac67a9724307ace7e294667bd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NVgrWA+TFu0OW8r5joUfcFVHCoWBZgr3g++fyuKMVvWIvJs7/uwKxm7vCwXRVQrKUqNefap9tSAmj0es47u7AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T23:22:19.697889Z","bundle_sha256":"9ab66701e3292476b3973927436a4679ac00933742f61ed3ced315f0c0a4b773"}}