{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:6ZEQDLC2IX4QX52P2XIJKLZN2E","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":"96c9c8bea3789e52d3a2008c04da1ae75b70b90a0df943d851175ddf2c523152","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-02-21T13:04:56Z","title_canon_sha256":"bdcf88ff0fbdbb38e143b6456898ad44add584d093154e7e348ee7c9be728dd9"},"schema_version":"1.0","source":{"id":"1802.07551","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.07551","created_at":"2026-05-17T23:41:56Z"},{"alias_kind":"arxiv_version","alias_value":"1802.07551v4","created_at":"2026-05-17T23:41:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.07551","created_at":"2026-05-17T23:41:56Z"},{"alias_kind":"pith_short_12","alias_value":"6ZEQDLC2IX4Q","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"6ZEQDLC2IX4QX52P","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"6ZEQDLC2","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:e132227d53f77d6e00b7b0dfd48a644a9049ffe558203154ff9fef14c3480b5e","target":"graph","created_at":"2026-05-17T23:41:56Z","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 study detectability properties for labeled Petri nets and finite automata. We first study weak approximate detectability (WAD) that implies that there exists an infinite observed output sequence of the system such that each prefix of the output sequence with length greater than a given value allows an observer to determine if the current state belongs to a given set. We also consider two new concepts called instant strong detectability (ISD) and eventual strong detectability (ESD). The former property implies that for each possible infinite observed output sequence each prefix of the output","authors_text":"Alessandro Giua, Kuize Zhang","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-02-21T13:04:56Z","title":"On detectability of labeled Petri nets and finite automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.07551","kind":"arxiv","version":4},"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:94e84f31db7a4f53855c64f10769f76c283da58eb8de2c4a0c74ff85a7398ca7","target":"record","created_at":"2026-05-17T23:41:56Z","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":"96c9c8bea3789e52d3a2008c04da1ae75b70b90a0df943d851175ddf2c523152","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-02-21T13:04:56Z","title_canon_sha256":"bdcf88ff0fbdbb38e143b6456898ad44add584d093154e7e348ee7c9be728dd9"},"schema_version":"1.0","source":{"id":"1802.07551","kind":"arxiv","version":4}},"canonical_sha256":"f64901ac5a45f90bf74fd5d0952f2dd102f3e05bee19a1e59a4140f864ac7a4c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f64901ac5a45f90bf74fd5d0952f2dd102f3e05bee19a1e59a4140f864ac7a4c","first_computed_at":"2026-05-17T23:41:56.402375Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:56.402375Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"x2ae1a+TLWKlCH+UScZ0CST+4t+XGKoE7JEz5i9YTCUzcrlBRpzeAB0L35pv3D49rZDmK6wCzREdqQqhyLHtCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:56.402993Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.07551","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:94e84f31db7a4f53855c64f10769f76c283da58eb8de2c4a0c74ff85a7398ca7","sha256:e132227d53f77d6e00b7b0dfd48a644a9049ffe558203154ff9fef14c3480b5e"],"state_sha256":"be209ae7e2b2397e8662eb915e859ecf9467f3fe1312ba94fcdea882a4228ae4"}