{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:S7BDFZ2RJM3CAHVINLH2ID6Y57","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":"64d4974560f4435ab1beef064c6b16408c108f6e7a9a9078862809b3f22fa5f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-29T21:18:23Z","title_canon_sha256":"ef0ea706b05fb690cd25fac0bf90cb86eda190fa656bb34673b7ddedcb4bbffe"},"schema_version":"1.0","source":{"id":"1810.09652","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.09652","created_at":"2026-05-18T00:02:29Z"},{"alias_kind":"arxiv_version","alias_value":"1810.09652v1","created_at":"2026-05-18T00:02:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.09652","created_at":"2026-05-18T00:02:29Z"},{"alias_kind":"pith_short_12","alias_value":"S7BDFZ2RJM3C","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"S7BDFZ2RJM3CAHVI","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"S7BDFZ2R","created_at":"2026-05-18T12:32:50Z"}],"graph_snapshots":[{"event_id":"sha256:2b04ebb8acb74abd511383bdadc39c781a9356238a5ef989632bb690e7837166","target":"graph","created_at":"2026-05-18T00:02:29Z","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":"Petri nets are an established graphical formalism for modeling and analyzing the behavior of systems. An important consideration of the value of Petri nets is their use in describing both the syntax and semantics of modeling formalisms. Describing a modeling notation in terms of a formal technique such as Petri nets provides a way to minimize ambiguity. Accordingly, it is imperative to develop a deep and diverse understanding of Petri nets. This paper is directed toward a new, but preliminary, exploration of the semantics of such an important tool. Specifically, the concern in this paper is wi","authors_text":"Dana Shbeeb, Sabah Al-Fedaghi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-29T21:18:23Z","title":"Petri Nets and Machines of Things That Flow"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.09652","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:2cf7dac3514acc4f5fbc3dc6b41d19a7040326b8ec2a835d93f6a3937bd10301","target":"record","created_at":"2026-05-18T00:02:29Z","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":"64d4974560f4435ab1beef064c6b16408c108f6e7a9a9078862809b3f22fa5f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-29T21:18:23Z","title_canon_sha256":"ef0ea706b05fb690cd25fac0bf90cb86eda190fa656bb34673b7ddedcb4bbffe"},"schema_version":"1.0","source":{"id":"1810.09652","kind":"arxiv","version":1}},"canonical_sha256":"97c232e7514b36201ea86acfa40fd8efcd02c6c0c6a61b232d90603a3df0153e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"97c232e7514b36201ea86acfa40fd8efcd02c6c0c6a61b232d90603a3df0153e","first_computed_at":"2026-05-18T00:02:29.879443Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:29.879443Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EE5UhZj+6txk/Mm7Hwspwtfz7pX/l63ep5By6WemXMxzPhQvI+bgyK6k5qVnybqW0f8wdFKx1heQZWsW4FTfAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:29.880163Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.09652","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2cf7dac3514acc4f5fbc3dc6b41d19a7040326b8ec2a835d93f6a3937bd10301","sha256:2b04ebb8acb74abd511383bdadc39c781a9356238a5ef989632bb690e7837166"],"state_sha256":"6d2d00dbc8bd238c2fc02b4f41df20474f204652df97a7b0b6e9b24fdc6befb2"}