{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:CDUOYBGIAPE5UTRPKXQTGWZPCD","short_pith_number":"pith:CDUOYBGI","schema_version":"1.0","canonical_sha256":"10e8ec04c803c9da4e2f55e1335b2f10c2e321082f32a5cc16ff62db288360f4","source":{"kind":"arxiv","id":"1902.03025","version":2},"attestation_state":"computed","paper":{"title":"Parameterized Analysis of Immediate Observation Petri Nets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Chana Weil-Kennedy, Javier Esparza, Mikhail Raskin","submitted_at":"2019-02-08T11:30:41Z","abstract_excerpt":"We introduce immediate observation Petri nets, a class of interest in the study of population protocols (a model of distributed computation), and enzymatic chemical networks. In these areas, relevant analysis questions translate into parameterized Petri net problems: whether an infinite set of Petri nets with the same underlying net, but different initial markings, satisfy a given property. We study the parameterized reachability, coverability, and liveness problems for immediate observation Petri nets. We show that all three problems are in PSPACE for infinite sets of initial markings defined"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1902.03025","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-02-08T11:30:41Z","cross_cats_sorted":[],"title_canon_sha256":"154463cee39222cc7df7ca48e1e60d21008621944a86059c1c67e6a49e12b9cf","abstract_canon_sha256":"0942c4fc41e641f79b6dc61d231287f56aaa4c1a83b267b5d5c15bf5c6164fa2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:59.283469Z","signature_b64":"Km6SnFTQXFbQWLCFgH+7mHGQM9m/o13JwDNgvwhyTzQoQfIkJw8z0lL7FIqzOGxoF6f71L6q1AgK1JhlrceHBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"10e8ec04c803c9da4e2f55e1335b2f10c2e321082f32a5cc16ff62db288360f4","last_reissued_at":"2026-05-17T23:49:59.282960Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:59.282960Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Parameterized Analysis of Immediate Observation Petri Nets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Chana Weil-Kennedy, Javier Esparza, Mikhail Raskin","submitted_at":"2019-02-08T11:30:41Z","abstract_excerpt":"We introduce immediate observation Petri nets, a class of interest in the study of population protocols (a model of distributed computation), and enzymatic chemical networks. In these areas, relevant analysis questions translate into parameterized Petri net problems: whether an infinite set of Petri nets with the same underlying net, but different initial markings, satisfy a given property. We study the parameterized reachability, coverability, and liveness problems for immediate observation Petri nets. We show that all three problems are in PSPACE for infinite sets of initial markings defined"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.03025","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1902.03025","created_at":"2026-05-17T23:49:59.283051+00:00"},{"alias_kind":"arxiv_version","alias_value":"1902.03025v2","created_at":"2026-05-17T23:49:59.283051+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.03025","created_at":"2026-05-17T23:49:59.283051+00:00"},{"alias_kind":"pith_short_12","alias_value":"CDUOYBGIAPE5","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_16","alias_value":"CDUOYBGIAPE5UTRP","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_8","alias_value":"CDUOYBGI","created_at":"2026-05-18T12:33:12.712433+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CDUOYBGIAPE5UTRPKXQTGWZPCD","json":"https://pith.science/pith/CDUOYBGIAPE5UTRPKXQTGWZPCD.json","graph_json":"https://pith.science/api/pith-number/CDUOYBGIAPE5UTRPKXQTGWZPCD/graph.json","events_json":"https://pith.science/api/pith-number/CDUOYBGIAPE5UTRPKXQTGWZPCD/events.json","paper":"https://pith.science/paper/CDUOYBGI"},"agent_actions":{"view_html":"https://pith.science/pith/CDUOYBGIAPE5UTRPKXQTGWZPCD","download_json":"https://pith.science/pith/CDUOYBGIAPE5UTRPKXQTGWZPCD.json","view_paper":"https://pith.science/paper/CDUOYBGI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1902.03025&json=true","fetch_graph":"https://pith.science/api/pith-number/CDUOYBGIAPE5UTRPKXQTGWZPCD/graph.json","fetch_events":"https://pith.science/api/pith-number/CDUOYBGIAPE5UTRPKXQTGWZPCD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CDUOYBGIAPE5UTRPKXQTGWZPCD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CDUOYBGIAPE5UTRPKXQTGWZPCD/action/storage_attestation","attest_author":"https://pith.science/pith/CDUOYBGIAPE5UTRPKXQTGWZPCD/action/author_attestation","sign_citation":"https://pith.science/pith/CDUOYBGIAPE5UTRPKXQTGWZPCD/action/citation_signature","submit_replication":"https://pith.science/pith/CDUOYBGIAPE5UTRPKXQTGWZPCD/action/replication_record"}},"created_at":"2026-05-17T23:49:59.283051+00:00","updated_at":"2026-05-17T23:49:59.283051+00:00"}