{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:YE54RCCQZ7OP3K6KSWT7LBEVSI","short_pith_number":"pith:YE54RCCQ","canonical_record":{"source":{"id":"1903.09298","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-21T11:59:04Z","cross_cats_sorted":[],"title_canon_sha256":"e4f4837213c29190b47d80fa4eb82992774e52cbc2a5427fd92b8209cbda6aac","abstract_canon_sha256":"cdf3995279eac7d5edfdd930c1d0360421d850cfee19de0cb36f116d3a2ce955"},"schema_version":"1.0"},"canonical_sha256":"c13bc88850cfdcfdabca95a7f58495920b05a86767a3e43541add5c7d1bb6b84","source":{"kind":"arxiv","id":"1903.09298","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.09298","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"arxiv_version","alias_value":"1903.09298v1","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.09298","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"pith_short_12","alias_value":"YE54RCCQZ7OP","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"YE54RCCQZ7OP3K6K","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"YE54RCCQ","created_at":"2026-05-18T12:33:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:YE54RCCQZ7OP3K6KSWT7LBEVSI","target":"record","payload":{"canonical_record":{"source":{"id":"1903.09298","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-21T11:59:04Z","cross_cats_sorted":[],"title_canon_sha256":"e4f4837213c29190b47d80fa4eb82992774e52cbc2a5427fd92b8209cbda6aac","abstract_canon_sha256":"cdf3995279eac7d5edfdd930c1d0360421d850cfee19de0cb36f116d3a2ce955"},"schema_version":"1.0"},"canonical_sha256":"c13bc88850cfdcfdabca95a7f58495920b05a86767a3e43541add5c7d1bb6b84","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:50:40.045432Z","signature_b64":"vBMP5Jsrs3G7cwKtb9C7Z+1SNtRWoI5d91oe7WvJwk5O0hmkx3uKsUhkBIPnyOQjA9mlNqZ9cSWnsVYAyZp9Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c13bc88850cfdcfdabca95a7f58495920b05a86767a3e43541add5c7d1bb6b84","last_reissued_at":"2026-05-17T23:50:40.044983Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:50:40.044983Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.09298","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-17T23:50:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W0O4Zvbc0XZ6+ZXMQAaz6fz6XqztAJslm17etgiLWGqQ5o1k9yI2ltVYiJFtVU9c1cf+GkMUBASaIX0RxqsGBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T04:51:43.941931Z"},"content_sha256":"61fdeb99aa1a97cbb89900b2a6259babe461a711bc7f030fc13ef123618cc1e3","schema_version":"1.0","event_id":"sha256:61fdeb99aa1a97cbb89900b2a6259babe461a711bc7f030fc13ef123618cc1e3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:YE54RCCQZ7OP3K6KSWT7LBEVSI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification of Detectability in Petri Nets Using Verifier Nets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Carla Seatzu, Hao Lan, Jin Guo, Yin Tong","submitted_at":"2019-03-21T11:59:04Z","abstract_excerpt":"Detectability describes the property of a system whose current and the subsequent states can be uniquely determined after a finite number of observations. In this paper, we developed a novel approach to verifying strong detectability and periodically strong detectability of bounded labeled Petri nets. Our approach is based on the analysis of the basis reachability graph of a special Petri net, called Verifier Net, that is built from the Petri net model of the given system. Without computing the whole reachability space and without enumerating all the markings, the proposed approaches are more "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.09298","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-17T23:50:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZpJZTxzArVGvdkgER1RaBZm7q+ApS+pt+kq723l2/MVbE1YhNakH1hluyVglrXVtltlVwTmF/v/8RboLU9SIBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T04:51:43.942276Z"},"content_sha256":"e803495219400e41df714bcf8d14402def8d1cae5a076b2e28ac257d8fc7b364","schema_version":"1.0","event_id":"sha256:e803495219400e41df714bcf8d14402def8d1cae5a076b2e28ac257d8fc7b364"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YE54RCCQZ7OP3K6KSWT7LBEVSI/bundle.json","state_url":"https://pith.science/pith/YE54RCCQZ7OP3K6KSWT7LBEVSI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YE54RCCQZ7OP3K6KSWT7LBEVSI/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-06-24T04:51:43Z","links":{"resolver":"https://pith.science/pith/YE54RCCQZ7OP3K6KSWT7LBEVSI","bundle":"https://pith.science/pith/YE54RCCQZ7OP3K6KSWT7LBEVSI/bundle.json","state":"https://pith.science/pith/YE54RCCQZ7OP3K6KSWT7LBEVSI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YE54RCCQZ7OP3K6KSWT7LBEVSI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:YE54RCCQZ7OP3K6KSWT7LBEVSI","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":"cdf3995279eac7d5edfdd930c1d0360421d850cfee19de0cb36f116d3a2ce955","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-21T11:59:04Z","title_canon_sha256":"e4f4837213c29190b47d80fa4eb82992774e52cbc2a5427fd92b8209cbda6aac"},"schema_version":"1.0","source":{"id":"1903.09298","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.09298","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"arxiv_version","alias_value":"1903.09298v1","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.09298","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"pith_short_12","alias_value":"YE54RCCQZ7OP","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"YE54RCCQZ7OP3K6K","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"YE54RCCQ","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:e803495219400e41df714bcf8d14402def8d1cae5a076b2e28ac257d8fc7b364","target":"graph","created_at":"2026-05-17T23:50: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":"Detectability describes the property of a system whose current and the subsequent states can be uniquely determined after a finite number of observations. In this paper, we developed a novel approach to verifying strong detectability and periodically strong detectability of bounded labeled Petri nets. Our approach is based on the analysis of the basis reachability graph of a special Petri net, called Verifier Net, that is built from the Petri net model of the given system. Without computing the whole reachability space and without enumerating all the markings, the proposed approaches are more ","authors_text":"Carla Seatzu, Hao Lan, Jin Guo, Yin Tong","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-21T11:59:04Z","title":"Verification of Detectability in Petri Nets Using Verifier Nets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.09298","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:61fdeb99aa1a97cbb89900b2a6259babe461a711bc7f030fc13ef123618cc1e3","target":"record","created_at":"2026-05-17T23:50: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":"cdf3995279eac7d5edfdd930c1d0360421d850cfee19de0cb36f116d3a2ce955","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-21T11:59:04Z","title_canon_sha256":"e4f4837213c29190b47d80fa4eb82992774e52cbc2a5427fd92b8209cbda6aac"},"schema_version":"1.0","source":{"id":"1903.09298","kind":"arxiv","version":1}},"canonical_sha256":"c13bc88850cfdcfdabca95a7f58495920b05a86767a3e43541add5c7d1bb6b84","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c13bc88850cfdcfdabca95a7f58495920b05a86767a3e43541add5c7d1bb6b84","first_computed_at":"2026-05-17T23:50:40.044983Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:50:40.044983Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vBMP5Jsrs3G7cwKtb9C7Z+1SNtRWoI5d91oe7WvJwk5O0hmkx3uKsUhkBIPnyOQjA9mlNqZ9cSWnsVYAyZp9Dw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:50:40.045432Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.09298","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:61fdeb99aa1a97cbb89900b2a6259babe461a711bc7f030fc13ef123618cc1e3","sha256:e803495219400e41df714bcf8d14402def8d1cae5a076b2e28ac257d8fc7b364"],"state_sha256":"31a348982c54628b68fd2e799d728dd08ddf7fa9d3f7fdaab691c4020b4823c9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VPpMhE9TkmuVSNbvCLMGIEY2fT428T9ziO41JGKM1DycNWLEHdzgUc8h2Ra64oU40wFpp60SKhOv6dHen7QoAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T04:51:43.944236Z","bundle_sha256":"ad426c03d09a81353a2552271df856036d4e14bdd566e543752b52507dbdcf36"}}