{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:UPSL3PU6AE5GED4M2C7XIKIBZT","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":"de8a0c83f74cc2458989064f0854280378c3425cf886af2db934b79e0a365c99","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-07-02T05:04:00Z","title_canon_sha256":"5f803f88688618333108f783ce56b13950cb3e5dc527bb519fd2ef0d9e8c56d5"},"schema_version":"1.0","source":{"id":"1907.01168","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.01168","created_at":"2026-05-17T23:41:41Z"},{"alias_kind":"arxiv_version","alias_value":"1907.01168v1","created_at":"2026-05-17T23:41:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.01168","created_at":"2026-05-17T23:41:41Z"},{"alias_kind":"pith_short_12","alias_value":"UPSL3PU6AE5G","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"UPSL3PU6AE5GED4M","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"UPSL3PU6","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:8408f99cd8d431022c35e2c734c1cb123f3cb3fa18bbf5177130862066f26a40","target":"graph","created_at":"2026-05-17T23:41:41Z","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 provided (PNSE'2014) expressions for free choice nets having \"distributed choice property\" which makes the nets \"direct product\" representable.\n  In a recent work (PNSE'2016), we gave equivalent syntax for a larger class of free choice nets obtained by dropping distributed choice property.\n  In both these works, the classes of free choice nets were restricted by a \"product condition\" on the set of final markings. In this paper we do away with this restriction and give expressions for the resultant classes of nets which correspond to \"free choice synchronous products and Zielonka automata\". ","authors_text":"Ramchandra Phawade","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-07-02T05:04:00Z","title":"Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.01168","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:f41102163fdb82f3d8840824d2b8c312113bfd48219faf3a801358f74ec954dd","target":"record","created_at":"2026-05-17T23:41:41Z","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":"de8a0c83f74cc2458989064f0854280378c3425cf886af2db934b79e0a365c99","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-07-02T05:04:00Z","title_canon_sha256":"5f803f88688618333108f783ce56b13950cb3e5dc527bb519fd2ef0d9e8c56d5"},"schema_version":"1.0","source":{"id":"1907.01168","kind":"arxiv","version":1}},"canonical_sha256":"a3e4bdbe9e013a620f8cd0bf742901ccda69a927fcbdf11108363a518385cedc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a3e4bdbe9e013a620f8cd0bf742901ccda69a927fcbdf11108363a518385cedc","first_computed_at":"2026-05-17T23:41:41.104168Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:41.104168Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OTqSfaQiTfHmqBwEtExcAQAB2F0azovAdf+l5+fwcdDxhCoueKmcOKelZKcVFENOSoO3q4u3D317aN5RULUAAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:41.104856Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.01168","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f41102163fdb82f3d8840824d2b8c312113bfd48219faf3a801358f74ec954dd","sha256:8408f99cd8d431022c35e2c734c1cb123f3cb3fa18bbf5177130862066f26a40"],"state_sha256":"772eff411dbcfe0bbc0178211f0197f492e0eedb462aefa68f4b5ddf3bf897de"}