{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:FP43V2UVOS662G455F2EW7JK3N","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":"b659ddcfb77218ea8c61d563e1e7b613c46b663500d4ebd928c649c547c186c1","cross_cats_sorted":["math.AT","math.CO","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-05-11T13:52:28Z","title_canon_sha256":"af32b6dbe54efa0d36aedd98f88caa522b8c4e5a6e485991aff861c8f556908c"},"schema_version":"1.0","source":{"id":"2005.05108","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.05108","created_at":"2026-07-05T05:30:54Z"},{"alias_kind":"arxiv_version","alias_value":"2005.05108v4","created_at":"2026-07-05T05:30:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.05108","created_at":"2026-07-05T05:30:54Z"},{"alias_kind":"pith_short_12","alias_value":"FP43V2UVOS66","created_at":"2026-07-05T05:30:54Z"},{"alias_kind":"pith_short_16","alias_value":"FP43V2UVOS662G45","created_at":"2026-07-05T05:30:54Z"},{"alias_kind":"pith_short_8","alias_value":"FP43V2UV","created_at":"2026-07-05T05:30:54Z"}],"graph_snapshots":[{"event_id":"sha256:b988884dc3675a958c9338f88b2bc08ecee0208e2f7fa9e9c86f974eb6ad622a","target":"graph","created_at":"2026-07-05T05:30:54Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2005.05108/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a formalism for Petri nets based on polynomial-style finite-set configurations and etale maps. The formalism supports both a geometric semantics in the style of Goltz and Reisig (processes are etale maps from graphs) and an algebraic semantics in the style of Meseguer and Montanari, in terms of free coloured props, and allows the following unification: for P a Petri net, the Segal space of P-processes is shown to be the free coloured prop-in-groupoids on P. There is also an unfolding semantics \\`a la Winskel, which bypasses the classical symmetry problems: with the new formalism, ev","authors_text":"Joachim Kock","cross_cats":["math.AT","math.CO","math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-05-11T13:52:28Z","title":"Whole-grain Petri nets and processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.05108","kind":"arxiv","version":4},"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:c789a9c8e861ae71ebfbc08aee03dc9606d6b1ac1c62b039b70811651af94c73","target":"record","created_at":"2026-07-05T05:30:54Z","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":"b659ddcfb77218ea8c61d563e1e7b613c46b663500d4ebd928c649c547c186c1","cross_cats_sorted":["math.AT","math.CO","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-05-11T13:52:28Z","title_canon_sha256":"af32b6dbe54efa0d36aedd98f88caa522b8c4e5a6e485991aff861c8f556908c"},"schema_version":"1.0","source":{"id":"2005.05108","kind":"arxiv","version":4}},"canonical_sha256":"2bf9baea9574bded1b9de9744b7d2adb61a33c705cc26171712df3da5d39b9ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2bf9baea9574bded1b9de9744b7d2adb61a33c705cc26171712df3da5d39b9ef","first_computed_at":"2026-07-05T05:30:54.278917Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:30:54.278917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"87LzLY9I8VUkICEcWZpvdmPdTpMp/bOnxC//vdlxjVk4TZ5IZTWN5lQ2f9Gm2fm4H9eWXXBS/8YgB1sbMr5OBA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:30:54.279338Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.05108","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c789a9c8e861ae71ebfbc08aee03dc9606d6b1ac1c62b039b70811651af94c73","sha256:b988884dc3675a958c9338f88b2bc08ecee0208e2f7fa9e9c86f974eb6ad622a"],"state_sha256":"6dbbb1521f291faa45b5a755cc31923bf226a5810f932c8eaa3be551f37ee159"}