{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:3ICJ5BFUMGB2VJRD4TK45QMB64","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":"f8745919188d75ab2f95eeec6f1686b5dea0d1d9f8dcf3b902b03956a2d0cb7b","cross_cats_sorted":["cs.DM","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-19T09:31:45Z","title_canon_sha256":"569fb1f4a36511ab8769a8dcc4bfe9049a3d7494c994e7648be5f5f11af01872"},"schema_version":"1.0","source":{"id":"1608.05548","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.05548","created_at":"2026-05-18T01:00:12Z"},{"alias_kind":"arxiv_version","alias_value":"1608.05548v1","created_at":"2026-05-18T01:00:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.05548","created_at":"2026-05-18T01:00:12Z"},{"alias_kind":"pith_short_12","alias_value":"3ICJ5BFUMGB2","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3ICJ5BFUMGB2VJRD","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3ICJ5BFU","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:60e521a241737f680af4276378d035cd9c19e3dc9c65e3103248bcd5ab9e6668","target":"graph","created_at":"2026-05-18T01:00:12Z","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 consider networks of finite-state machines having local transitions conditioned by the current state of other automata. In this paper, we depict a reduction procedure tailored for a given reachability property of the form ``from global state s there exists a sequence of transitions leading to a state where an automaton g is in a local state T'. By exploiting a causality analysis of the transitions within the individual automata, the proposed reduction removes local transitions while preserving all the minimal traces that satisfy the reachability property. The complexity of the procedure is ","authors_text":"Lo\\\"ic Paulev\\'e","cross_cats":["cs.DM","cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-19T09:31:45Z","title":"Goal-Oriented Reduction of Automata Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.05548","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:d669c7949b35ed2cd5af3efa66b0bfff175c883322673b6f3ae53efd312c8ecf","target":"record","created_at":"2026-05-18T01:00:12Z","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":"f8745919188d75ab2f95eeec6f1686b5dea0d1d9f8dcf3b902b03956a2d0cb7b","cross_cats_sorted":["cs.DM","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-19T09:31:45Z","title_canon_sha256":"569fb1f4a36511ab8769a8dcc4bfe9049a3d7494c994e7648be5f5f11af01872"},"schema_version":"1.0","source":{"id":"1608.05548","kind":"arxiv","version":1}},"canonical_sha256":"da049e84b46183aaa623e4d5cec181f707e4b678e3a5396b6a69ea430a3d0f5f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"da049e84b46183aaa623e4d5cec181f707e4b678e3a5396b6a69ea430a3d0f5f","first_computed_at":"2026-05-18T01:00:12.075589Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:00:12.075589Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WlBBxiox+5LCiPZikNplAUw27jMLmJh6oaLscdLeyzbw7Zlw1c9DbF8obQKnThTwiUnIrCSgHGMyJyF8KA7hCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:00:12.076380Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.05548","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d669c7949b35ed2cd5af3efa66b0bfff175c883322673b6f3ae53efd312c8ecf","sha256:60e521a241737f680af4276378d035cd9c19e3dc9c65e3103248bcd5ab9e6668"],"state_sha256":"b4d8216652485461200c99c20efad73662b2f50ab18508277f9fa1ce7527767f"}