{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:JMTHKUJQ2K3ITC2WALMWYCOBAQ","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":"859f2f0b79fb498d33707755ff4c3902cb2c46a3d060491d13ea9f28bf7fc2d5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2026-06-01T10:01:22Z","title_canon_sha256":"d536cfff4d88a165669a1f5a60993a7b40dc4f6b49001faf61dcb0bed06d9edf"},"schema_version":"1.0","source":{"id":"2606.02007","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.02007","created_at":"2026-06-02T02:05:03Z"},{"alias_kind":"arxiv_version","alias_value":"2606.02007v1","created_at":"2026-06-02T02:05:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.02007","created_at":"2026-06-02T02:05:03Z"},{"alias_kind":"pith_short_12","alias_value":"JMTHKUJQ2K3I","created_at":"2026-06-02T02:05:03Z"},{"alias_kind":"pith_short_16","alias_value":"JMTHKUJQ2K3ITC2W","created_at":"2026-06-02T02:05:03Z"},{"alias_kind":"pith_short_8","alias_value":"JMTHKUJQ","created_at":"2026-06-02T02:05:03Z"}],"graph_snapshots":[{"event_id":"sha256:d6686de0fd6aa992dc878f93b187e0668167cbedfd1ceaf5dfa3f95721890885","target":"graph","created_at":"2026-06-02T02:05:03Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.02007/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Timed-Arc Petri net (TAPN) is a timed extension of the classical Petri net model where tokens have their age and input arcs are associated with time intervals restricting the ages of tokens available for transition firing. Additionally, a TAPN can also contain place invariants constraining the ages of tokens in places, inhibitor arcs preventing a transition from firing and transport arcs that preserve token ages upon firing. This set of features, as much as it allows us to model complex systems, also often makes verification problems computationally hard or even undecidable. Moreover, in order","authors_text":"Jiri Srba, Kim G. Larsen, Tanguy Dubois","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2026-06-01T10:01:22Z","title":"TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.02007","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:b751d8142a0a6e0aa23ca6df19f9495e9e25b88704e157cccee5b1aa0407c2aa","target":"record","created_at":"2026-06-02T02:05:03Z","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":"859f2f0b79fb498d33707755ff4c3902cb2c46a3d060491d13ea9f28bf7fc2d5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DC","submitted_at":"2026-06-01T10:01:22Z","title_canon_sha256":"d536cfff4d88a165669a1f5a60993a7b40dc4f6b49001faf61dcb0bed06d9edf"},"schema_version":"1.0","source":{"id":"2606.02007","kind":"arxiv","version":1}},"canonical_sha256":"4b26755130d2b6898b5602d96c09c10418e489248c7fadc513d56616d3058144","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4b26755130d2b6898b5602d96c09c10418e489248c7fadc513d56616d3058144","first_computed_at":"2026-06-02T02:05:03.404053Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-02T02:05:03.404053Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/uaSlJ5x5QfuphU1XnPH3ATqqrKoI2UYdSQBgSepqEILGzFC1HVvBVcxLrtBwNr8H/55KgJIAmLx+mSPBf+mBA==","signature_status":"signed_v1","signed_at":"2026-06-02T02:05:03.404411Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.02007","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b751d8142a0a6e0aa23ca6df19f9495e9e25b88704e157cccee5b1aa0407c2aa","sha256:d6686de0fd6aa992dc878f93b187e0668167cbedfd1ceaf5dfa3f95721890885"],"state_sha256":"b91706ec654244d000049767e1098b4a572c2023d19fae70f18c2b02fe536d93"}