{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:R6TDKZKCX4AZA2MAOYCPFXYAQ4","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":"1eccaf59905ddad813c4848b2300a4e33784f450321629eeaad1871148f8e295","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-06-07T01:05:53Z","title_canon_sha256":"52f67a67e5dc41de115526adf3b6731c4794ee33060c5efdfbbdaee79b49abcc"},"schema_version":"1.0","source":{"id":"1106.1230","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1106.1230","created_at":"2026-05-18T04:20:24Z"},{"alias_kind":"arxiv_version","alias_value":"1106.1230v1","created_at":"2026-05-18T04:20:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.1230","created_at":"2026-05-18T04:20:24Z"},{"alias_kind":"pith_short_12","alias_value":"R6TDKZKCX4AZ","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_16","alias_value":"R6TDKZKCX4AZA2MA","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_8","alias_value":"R6TDKZKC","created_at":"2026-05-18T12:26:41Z"}],"graph_snapshots":[{"event_id":"sha256:7a2fef1e4b76b4b8703bf4267b4f106598cda1539eac515d01632913af12e1ab","target":"graph","created_at":"2026-05-18T04:20:24Z","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":"Petri net unfoldings are a useful tool to tackle state-space explosion in verification and related tasks. Moreover, their structure allows to access directly the relations of causal precedence, concurrency, and conflict between events. Here, we explore the data structure further, to determine the following relation: event a is said to reveal event b iff the occurrence of a implies that b inevitably occurs, too, be it before, after, or concurrently with a. Knowledge of reveals facilitates in particular the analysis of partially observable systems, in the context of diagnosis, testing or verific","authors_text":"Christian Kern (TU M\\\"unchen), CNRS), Ecole Normale Sup\\'erieure de Cachan, LSV, Stefan Haar (INRIA, Stefan Schwoon (INRIA","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-06-07T01:05:53Z","title":"Computing the Reveals Relation in Occurrence Nets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.1230","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:37fa0d0ada31941b84a1222a882b9ef998fa754ce7701cddc7dc2d628bfb507c","target":"record","created_at":"2026-05-18T04:20:24Z","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":"1eccaf59905ddad813c4848b2300a4e33784f450321629eeaad1871148f8e295","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-06-07T01:05:53Z","title_canon_sha256":"52f67a67e5dc41de115526adf3b6731c4794ee33060c5efdfbbdaee79b49abcc"},"schema_version":"1.0","source":{"id":"1106.1230","kind":"arxiv","version":1}},"canonical_sha256":"8fa6356542bf019069807604f2df00870d5bd90e3c1e025d368c16fb095f152c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8fa6356542bf019069807604f2df00870d5bd90e3c1e025d368c16fb095f152c","first_computed_at":"2026-05-18T04:20:24.272531Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:20:24.272531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TIUt9LCM0+NwfH8d70g8vgI2Nk3FIaxjmDQcTPH+Gtbpw4EkrqOybA4LjoODN/j3hqUlauji5fEOYnQAAHD9Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:20:24.273252Z","signed_message":"canonical_sha256_bytes"},"source_id":"1106.1230","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:37fa0d0ada31941b84a1222a882b9ef998fa754ce7701cddc7dc2d628bfb507c","sha256:7a2fef1e4b76b4b8703bf4267b4f106598cda1539eac515d01632913af12e1ab"],"state_sha256":"b3f12b5f32bafedaeaa5607b1d4acfff351f4705831c51b759449a9b40727454"}