{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:3TV4S6UMFP3JVL52BCHZ5BCE5P","short_pith_number":"pith:3TV4S6UM","schema_version":"1.0","canonical_sha256":"dcebc97a8c2bf69aafba088f9e8444ebef3a1bf769ec80613df6ccd9c59df688","source":{"kind":"arxiv","id":"1806.03703","version":3},"attestation_state":"computed","paper":{"title":"Towards Completely Characterizing the Complexity of Boolean Nets Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Christian Rosenke, Ronny Tredup","submitted_at":"2018-06-10T18:26:23Z","abstract_excerpt":"Boolean nets are Petri nets that permit at most one token per place. Research has approached this important subject in many ways which resulted in various different classes of boolean nets. But yet, they are only distinguished by the allowed interactions between places and transitions, that is, the possible effects of firing transitions. There are eight different interactions: no operation (nop), input (inp), output (out), set, reset (res), swap, test of occupation (used), and test of disposability (free). Considering every combination for a possible net class yields 256 boolean classes in tot"},"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":"1806.03703","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-06-10T18:26:23Z","cross_cats_sorted":[],"title_canon_sha256":"8babd703dcb7772e475cd14153ed5bc5895dd44c060e6befee9b8dfa79a8e7dc","abstract_canon_sha256":"5a68affaac9f4e516473096318deeab19bd5017cb568501ddb477f9c143daa2a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:00:39.513114Z","signature_b64":"Q9YuhPFUwX+rjdnroLa0WDdKKNXI8ZKYzVfoMqqG76/WeTna9/uszG//KUjKhpamcGVfjRG4fEGEUIXa9Ea6CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dcebc97a8c2bf69aafba088f9e8444ebef3a1bf769ec80613df6ccd9c59df688","last_reissued_at":"2026-05-18T00:00:39.512660Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:00:39.512660Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards Completely Characterizing the Complexity of Boolean Nets Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Christian Rosenke, Ronny Tredup","submitted_at":"2018-06-10T18:26:23Z","abstract_excerpt":"Boolean nets are Petri nets that permit at most one token per place. Research has approached this important subject in many ways which resulted in various different classes of boolean nets. But yet, they are only distinguished by the allowed interactions between places and transitions, that is, the possible effects of firing transitions. There are eight different interactions: no operation (nop), input (inp), output (out), set, reset (res), swap, test of occupation (used), and test of disposability (free). Considering every combination for a possible net class yields 256 boolean classes in tot"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.03703","kind":"arxiv","version":3},"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":"1806.03703","created_at":"2026-05-18T00:00:39.512730+00:00"},{"alias_kind":"arxiv_version","alias_value":"1806.03703v3","created_at":"2026-05-18T00:00:39.512730+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.03703","created_at":"2026-05-18T00:00:39.512730+00:00"},{"alias_kind":"pith_short_12","alias_value":"3TV4S6UMFP3J","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_16","alias_value":"3TV4S6UMFP3JVL52","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_8","alias_value":"3TV4S6UM","created_at":"2026-05-18T12:32:05.422762+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/3TV4S6UMFP3JVL52BCHZ5BCE5P","json":"https://pith.science/pith/3TV4S6UMFP3JVL52BCHZ5BCE5P.json","graph_json":"https://pith.science/api/pith-number/3TV4S6UMFP3JVL52BCHZ5BCE5P/graph.json","events_json":"https://pith.science/api/pith-number/3TV4S6UMFP3JVL52BCHZ5BCE5P/events.json","paper":"https://pith.science/paper/3TV4S6UM"},"agent_actions":{"view_html":"https://pith.science/pith/3TV4S6UMFP3JVL52BCHZ5BCE5P","download_json":"https://pith.science/pith/3TV4S6UMFP3JVL52BCHZ5BCE5P.json","view_paper":"https://pith.science/paper/3TV4S6UM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1806.03703&json=true","fetch_graph":"https://pith.science/api/pith-number/3TV4S6UMFP3JVL52BCHZ5BCE5P/graph.json","fetch_events":"https://pith.science/api/pith-number/3TV4S6UMFP3JVL52BCHZ5BCE5P/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3TV4S6UMFP3JVL52BCHZ5BCE5P/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3TV4S6UMFP3JVL52BCHZ5BCE5P/action/storage_attestation","attest_author":"https://pith.science/pith/3TV4S6UMFP3JVL52BCHZ5BCE5P/action/author_attestation","sign_citation":"https://pith.science/pith/3TV4S6UMFP3JVL52BCHZ5BCE5P/action/citation_signature","submit_replication":"https://pith.science/pith/3TV4S6UMFP3JVL52BCHZ5BCE5P/action/replication_record"}},"created_at":"2026-05-18T00:00:39.512730+00:00","updated_at":"2026-05-18T00:00:39.512730+00:00"}