{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:UTEL7EQEAZUM4RRAGJUFGECZ2W","short_pith_number":"pith:UTEL7EQE","canonical_record":{"source":{"id":"1711.00220","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-01T06:28:52Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"8be08023af68565ebcc7cad224a08c5fcbc550fdb1f671a65a47b87515e22e46","abstract_canon_sha256":"9c95b7419f1a7126d59bcf2b7ad8b5b68f884c3b1824214b094816d5aa35d9f2"},"schema_version":"1.0"},"canonical_sha256":"a4c8bf92040668ce46203268531059d5a21fd477fc40e0eb443f3b890180b4e3","source":{"kind":"arxiv","id":"1711.00220","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.00220","created_at":"2026-05-18T00:31:34Z"},{"alias_kind":"arxiv_version","alias_value":"1711.00220v1","created_at":"2026-05-18T00:31:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.00220","created_at":"2026-05-18T00:31:34Z"},{"alias_kind":"pith_short_12","alias_value":"UTEL7EQEAZUM","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"UTEL7EQEAZUM4RRA","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"UTEL7EQE","created_at":"2026-05-18T12:31:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:UTEL7EQEAZUM4RRAGJUFGECZ2W","target":"record","payload":{"canonical_record":{"source":{"id":"1711.00220","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-01T06:28:52Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"8be08023af68565ebcc7cad224a08c5fcbc550fdb1f671a65a47b87515e22e46","abstract_canon_sha256":"9c95b7419f1a7126d59bcf2b7ad8b5b68f884c3b1824214b094816d5aa35d9f2"},"schema_version":"1.0"},"canonical_sha256":"a4c8bf92040668ce46203268531059d5a21fd477fc40e0eb443f3b890180b4e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:34.777158Z","signature_b64":"SmaA2pSj9TtcD9Li4fELv6vpgxqiUtBon2Ep80H43vb+ywmAilT5sM5311oI9IbDMeUSEOezNVqmA3QH+7cNCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a4c8bf92040668ce46203268531059d5a21fd477fc40e0eb443f3b890180b4e3","last_reissued_at":"2026-05-18T00:31:34.776446Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:34.776446Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.00220","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:31:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RcfavLxm7JpBRmVzpOz/RAm4LL+9hVJg7vqbyPGEUY25hBZ0i/jupAXabxpblRlirpvaFmNbY7PKqOYxk5mTAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T18:32:14.415308Z"},"content_sha256":"c06cfda9896103928e7f4c0149f193e3302275c013ae9c6c28f629060eaeb63e","schema_version":"1.0","event_id":"sha256:c06cfda9896103928e7f4c0149f193e3302275c013ae9c6c28f629060eaeb63e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:UTEL7EQEAZUM4RRAGJUFGECZ2W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Hardness of Synthesizing Elementary Net Systems from Highly Restricted Inputs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.LO","authors_text":"Christian Rosenke, Ronny Tredup","submitted_at":"2017-11-01T06:28:52Z","abstract_excerpt":"Elementary net systems (ENS) are the most fundamental class of Petri nets. Their synthesis problem has important applications in the design of digital hardware and commercial processes. Given a labeled transition system (TS) $A$, feasibility is the NP-complete decision problem whether $A$ can be equivalently synthesized into an ENS. It is well known that $A$ is feasible if and only if it has the event state separation property (ESSP) and the state separation property (SSP). Recently, these properties have also been studied individually for their practical implications. A fast ESSP algorithm, f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.00220","kind":"arxiv","version":1},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:31:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SqBd6ovczfmg1lkOjJWciks+51HNlHpC5/t1YwWgps2mbyeNGtkMykVl3oeekEU4DiMVdK4q+nSNEXcAmVD4DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T18:32:14.415679Z"},"content_sha256":"840b7cd691efd6f3ca4766521182e47f18bbbea214da66705fd414b90b6ccc7e","schema_version":"1.0","event_id":"sha256:840b7cd691efd6f3ca4766521182e47f18bbbea214da66705fd414b90b6ccc7e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UTEL7EQEAZUM4RRAGJUFGECZ2W/bundle.json","state_url":"https://pith.science/pith/UTEL7EQEAZUM4RRAGJUFGECZ2W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UTEL7EQEAZUM4RRAGJUFGECZ2W/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-20T18:32:14Z","links":{"resolver":"https://pith.science/pith/UTEL7EQEAZUM4RRAGJUFGECZ2W","bundle":"https://pith.science/pith/UTEL7EQEAZUM4RRAGJUFGECZ2W/bundle.json","state":"https://pith.science/pith/UTEL7EQEAZUM4RRAGJUFGECZ2W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UTEL7EQEAZUM4RRAGJUFGECZ2W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:UTEL7EQEAZUM4RRAGJUFGECZ2W","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":"9c95b7419f1a7126d59bcf2b7ad8b5b68f884c3b1824214b094816d5aa35d9f2","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-01T06:28:52Z","title_canon_sha256":"8be08023af68565ebcc7cad224a08c5fcbc550fdb1f671a65a47b87515e22e46"},"schema_version":"1.0","source":{"id":"1711.00220","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.00220","created_at":"2026-05-18T00:31:34Z"},{"alias_kind":"arxiv_version","alias_value":"1711.00220v1","created_at":"2026-05-18T00:31:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.00220","created_at":"2026-05-18T00:31:34Z"},{"alias_kind":"pith_short_12","alias_value":"UTEL7EQEAZUM","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"UTEL7EQEAZUM4RRA","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"UTEL7EQE","created_at":"2026-05-18T12:31:49Z"}],"graph_snapshots":[{"event_id":"sha256:840b7cd691efd6f3ca4766521182e47f18bbbea214da66705fd414b90b6ccc7e","target":"graph","created_at":"2026-05-18T00:31:34Z","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":"Elementary net systems (ENS) are the most fundamental class of Petri nets. Their synthesis problem has important applications in the design of digital hardware and commercial processes. Given a labeled transition system (TS) $A$, feasibility is the NP-complete decision problem whether $A$ can be equivalently synthesized into an ENS. It is well known that $A$ is feasible if and only if it has the event state separation property (ESSP) and the state separation property (SSP). Recently, these properties have also been studied individually for their practical implications. A fast ESSP algorithm, f","authors_text":"Christian Rosenke, Ronny Tredup","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-01T06:28:52Z","title":"The Hardness of Synthesizing Elementary Net Systems from Highly Restricted Inputs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.00220","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:c06cfda9896103928e7f4c0149f193e3302275c013ae9c6c28f629060eaeb63e","target":"record","created_at":"2026-05-18T00:31:34Z","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":"9c95b7419f1a7126d59bcf2b7ad8b5b68f884c3b1824214b094816d5aa35d9f2","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-01T06:28:52Z","title_canon_sha256":"8be08023af68565ebcc7cad224a08c5fcbc550fdb1f671a65a47b87515e22e46"},"schema_version":"1.0","source":{"id":"1711.00220","kind":"arxiv","version":1}},"canonical_sha256":"a4c8bf92040668ce46203268531059d5a21fd477fc40e0eb443f3b890180b4e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a4c8bf92040668ce46203268531059d5a21fd477fc40e0eb443f3b890180b4e3","first_computed_at":"2026-05-18T00:31:34.776446Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:34.776446Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SmaA2pSj9TtcD9Li4fELv6vpgxqiUtBon2Ep80H43vb+ywmAilT5sM5311oI9IbDMeUSEOezNVqmA3QH+7cNCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:34.777158Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.00220","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c06cfda9896103928e7f4c0149f193e3302275c013ae9c6c28f629060eaeb63e","sha256:840b7cd691efd6f3ca4766521182e47f18bbbea214da66705fd414b90b6ccc7e"],"state_sha256":"f31dd5bc2ddbcae484a179af9424b89021b5661b34d76a1a22e76c91ea2c746f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"21oRZiynaqasrDGnPvpJS1fbW88LJWhNoOLTKR84w8n8N4FlJa4TW+PbgNvwCoaeB+myFsjCAARy3MwGyIwzCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T18:32:14.417557Z","bundle_sha256":"d44c5759790956702266fa8394aa9d64b0e48518ba19fcad32c27b8560726a06"}}