{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:A3FDOPOIGCRKPJZMECNRK57IXW","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":"3de94e798697b23addb08533697bb0ab92b331cff76f708a04bd730725da4411","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-01-28T15:14:42Z","title_canon_sha256":"69ff25d2cac9f04a6657f0b5a45a7e3dd87b89a5c62f7307685e177f7a8318bd"},"schema_version":"1.0","source":{"id":"1301.6572","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.6572","created_at":"2026-05-18T03:35:15Z"},{"alias_kind":"arxiv_version","alias_value":"1301.6572v1","created_at":"2026-05-18T03:35:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.6572","created_at":"2026-05-18T03:35:15Z"},{"alias_kind":"pith_short_12","alias_value":"A3FDOPOIGCRK","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"A3FDOPOIGCRKPJZM","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"A3FDOPOI","created_at":"2026-05-18T12:27:38Z"}],"graph_snapshots":[{"event_id":"sha256:3f7a2f6dad12c81fd8ad0f4e6ce969b50fb790d4713a23fd5f8b327bfda277b1","target":"graph","created_at":"2026-05-18T03:35:15Z","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 introduce {\\omega}-Petri nets ({\\omega}PN), an extension of plain Petri nets with {\\omega}-labeled input and output arcs, that is well-suited to analyse parametric concurrent systems with dynamic thread creation. Most techniques (such as the Karp and Miller tree or the Rackoff technique) that have been proposed in the setting of plain Petri nets do not apply directly to {\\omega}PN because {\\omega}PN define transition systems that have infinite branching. This motivates a thorough analysis of the computational aspects of {\\omega}PN. We show that an {\\omega}PN can be turned into an plain Petr","authors_text":"Alexander Heu{\\ss}ner, Gilles Geeraerts, Jean-Fran\\c{c}ois Raskin, M. Praveen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-01-28T15:14:42Z","title":"{\\omega}-Petri nets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.6572","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:824f43f03d50b53ef2e28da395555f323a5a51b4590eb1cf98391601e2bd763a","target":"record","created_at":"2026-05-18T03:35:15Z","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":"3de94e798697b23addb08533697bb0ab92b331cff76f708a04bd730725da4411","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-01-28T15:14:42Z","title_canon_sha256":"69ff25d2cac9f04a6657f0b5a45a7e3dd87b89a5c62f7307685e177f7a8318bd"},"schema_version":"1.0","source":{"id":"1301.6572","kind":"arxiv","version":1}},"canonical_sha256":"06ca373dc830a2a7a72c209b1577e8bd8bec6be845aa032b04295aac037260fe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"06ca373dc830a2a7a72c209b1577e8bd8bec6be845aa032b04295aac037260fe","first_computed_at":"2026-05-18T03:35:15.006427Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:35:15.006427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"grtPdCOs4oJz6ZcScR97PCCUcRQAQp8Tjc8LXm+fM1CfjUKcii3S4n7O4q9zbiRWF+GeAEknnsOn2ohr+NOXAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:35:15.006944Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.6572","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:824f43f03d50b53ef2e28da395555f323a5a51b4590eb1cf98391601e2bd763a","sha256:3f7a2f6dad12c81fd8ad0f4e6ce969b50fb790d4713a23fd5f8b327bfda277b1"],"state_sha256":"435bc9241ede46b2069cc767e96dee20e17b5e0c3d9b24bd8a32e6ce3cd784b1"}