{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:DE3H3C6CR475J7DXHSVXUJNPIV","short_pith_number":"pith:DE3H3C6C","canonical_record":{"source":{"id":"2005.09806","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2020-05-20T00:56:48Z","cross_cats_sorted":[],"title_canon_sha256":"71b2d19ff630f0742f68b90b0f9f46b50106c1d8b556c083e433051d05cf2e22","abstract_canon_sha256":"0cb649011cf9bb06f25d2b7bd8f2dc892308d43c8cdbd5550bd825fffe47a4cb"},"schema_version":"1.0"},"canonical_sha256":"19367d8bc28f3fd4fc773cab7a25af45799c80b33bcb10c340ebcb3438d291b9","source":{"kind":"arxiv","id":"2005.09806","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.09806","created_at":"2026-07-05T01:04:34Z"},{"alias_kind":"arxiv_version","alias_value":"2005.09806v1","created_at":"2026-07-05T01:04:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.09806","created_at":"2026-07-05T01:04:34Z"},{"alias_kind":"pith_short_12","alias_value":"DE3H3C6CR475","created_at":"2026-07-05T01:04:34Z"},{"alias_kind":"pith_short_16","alias_value":"DE3H3C6CR475J7DX","created_at":"2026-07-05T01:04:34Z"},{"alias_kind":"pith_short_8","alias_value":"DE3H3C6C","created_at":"2026-07-05T01:04:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:DE3H3C6CR475J7DXHSVXUJNPIV","target":"record","payload":{"canonical_record":{"source":{"id":"2005.09806","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2020-05-20T00:56:48Z","cross_cats_sorted":[],"title_canon_sha256":"71b2d19ff630f0742f68b90b0f9f46b50106c1d8b556c083e433051d05cf2e22","abstract_canon_sha256":"0cb649011cf9bb06f25d2b7bd8f2dc892308d43c8cdbd5550bd825fffe47a4cb"},"schema_version":"1.0"},"canonical_sha256":"19367d8bc28f3fd4fc773cab7a25af45799c80b33bcb10c340ebcb3438d291b9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:04:34.100858Z","signature_b64":"dIe2LTnpWdJmqO5iaaNMaxLlMO8vZyX4k/o5PtHKH2+XJG30kxzX7Rp7XRbgRUygZgbWpXu6rEBL4XfRgqhZCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"19367d8bc28f3fd4fc773cab7a25af45799c80b33bcb10c340ebcb3438d291b9","last_reissued_at":"2026-07-05T01:04:34.100404Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:04:34.100404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2005.09806","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T01:04:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rsVcFOGIP6LQHRvLkVNxauPYx93opmafiTkIXIcfll/mm2BXYQzVTl857dZrQHQQ6MAsyPPz6Ruth+GPMmy1BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:01:40.164910Z"},"content_sha256":"6c700f23705700fd95d39ba9958e87ef1a3f751ef41998950b9b5f86822f5fe5","schema_version":"1.0","event_id":"sha256:6c700f23705700fd95d39ba9958e87ef1a3f751ef41998950b9b5f86822f5fe5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:DE3H3C6CR475J7DXHSVXUJNPIV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Coverage Analysis of Net Inscriptions in Coloured Petri Net Models","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Faustin Ahishakiye, Jos\\'e Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz","submitted_at":"2020-05-20T00:56:48Z","abstract_excerpt":"High-level Petri net such as Coloured Petri Nets (CPNs) are characterised by the combination of Petri nets and a high-level programming language. In the context of CPNs and CPN Tools, the inscriptions (e.g., arc expressions and guards) are specified using Standard ML (SML). The application of simulation and state space exploration (SSE) for validating CPN models traditionally focuses on behavioural properties related to net structure, i.e., places and transitions. This means that the net inscriptions are only implicitly validated, and the extent to which these have been covered is not made exp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.09806","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2005.09806/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T01:04:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wvdrUriuExPd+7Pg7Slyybjj1RGC6crjbQRzdQmpwqHOiInzuExfiVUnU/jWVt0CP0aLAV0lhUzWSp8E3c/7CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:01:40.165743Z"},"content_sha256":"1cdc35df17c83c6da94d1f42576c92b861a43618c1377b20851ed89499ad4424","schema_version":"1.0","event_id":"sha256:1cdc35df17c83c6da94d1f42576c92b861a43618c1377b20851ed89499ad4424"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DE3H3C6CR475J7DXHSVXUJNPIV/bundle.json","state_url":"https://pith.science/pith/DE3H3C6CR475J7DXHSVXUJNPIV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DE3H3C6CR475J7DXHSVXUJNPIV/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-03T19:01:40Z","links":{"resolver":"https://pith.science/pith/DE3H3C6CR475J7DXHSVXUJNPIV","bundle":"https://pith.science/pith/DE3H3C6CR475J7DXHSVXUJNPIV/bundle.json","state":"https://pith.science/pith/DE3H3C6CR475J7DXHSVXUJNPIV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DE3H3C6CR475J7DXHSVXUJNPIV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:DE3H3C6CR475J7DXHSVXUJNPIV","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":"0cb649011cf9bb06f25d2b7bd8f2dc892308d43c8cdbd5550bd825fffe47a4cb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2020-05-20T00:56:48Z","title_canon_sha256":"71b2d19ff630f0742f68b90b0f9f46b50106c1d8b556c083e433051d05cf2e22"},"schema_version":"1.0","source":{"id":"2005.09806","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.09806","created_at":"2026-07-05T01:04:34Z"},{"alias_kind":"arxiv_version","alias_value":"2005.09806v1","created_at":"2026-07-05T01:04:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.09806","created_at":"2026-07-05T01:04:34Z"},{"alias_kind":"pith_short_12","alias_value":"DE3H3C6CR475","created_at":"2026-07-05T01:04:34Z"},{"alias_kind":"pith_short_16","alias_value":"DE3H3C6CR475J7DX","created_at":"2026-07-05T01:04:34Z"},{"alias_kind":"pith_short_8","alias_value":"DE3H3C6C","created_at":"2026-07-05T01:04:34Z"}],"graph_snapshots":[{"event_id":"sha256:1cdc35df17c83c6da94d1f42576c92b861a43618c1377b20851ed89499ad4424","target":"graph","created_at":"2026-07-05T01:04:34Z","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/2005.09806/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"High-level Petri net such as Coloured Petri Nets (CPNs) are characterised by the combination of Petri nets and a high-level programming language. In the context of CPNs and CPN Tools, the inscriptions (e.g., arc expressions and guards) are specified using Standard ML (SML). The application of simulation and state space exploration (SSE) for validating CPN models traditionally focuses on behavioural properties related to net structure, i.e., places and transitions. This means that the net inscriptions are only implicitly validated, and the extent to which these have been covered is not made exp","authors_text":"Faustin Ahishakiye, Jos\\'e Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2020-05-20T00:56:48Z","title":"Coverage Analysis of Net Inscriptions in Coloured Petri Net Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.09806","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:6c700f23705700fd95d39ba9958e87ef1a3f751ef41998950b9b5f86822f5fe5","target":"record","created_at":"2026-07-05T01:04:34Z","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":"0cb649011cf9bb06f25d2b7bd8f2dc892308d43c8cdbd5550bd825fffe47a4cb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2020-05-20T00:56:48Z","title_canon_sha256":"71b2d19ff630f0742f68b90b0f9f46b50106c1d8b556c083e433051d05cf2e22"},"schema_version":"1.0","source":{"id":"2005.09806","kind":"arxiv","version":1}},"canonical_sha256":"19367d8bc28f3fd4fc773cab7a25af45799c80b33bcb10c340ebcb3438d291b9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"19367d8bc28f3fd4fc773cab7a25af45799c80b33bcb10c340ebcb3438d291b9","first_computed_at":"2026-07-05T01:04:34.100404Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:04:34.100404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dIe2LTnpWdJmqO5iaaNMaxLlMO8vZyX4k/o5PtHKH2+XJG30kxzX7Rp7XRbgRUygZgbWpXu6rEBL4XfRgqhZCA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:04:34.100858Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.09806","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6c700f23705700fd95d39ba9958e87ef1a3f751ef41998950b9b5f86822f5fe5","sha256:1cdc35df17c83c6da94d1f42576c92b861a43618c1377b20851ed89499ad4424"],"state_sha256":"e3e8126a4a9c41305b8b5906bbe1e2142127dcefffa02ea8755199f81caec2e8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OAREepwu81NSiRM4ExA3elCYgNNC35/a3CuVaWOP0NCZjuRGpwB0RMypnr5ALt5XcfF0/eCcVkiSdDatpo4KAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T19:01:40.171287Z","bundle_sha256":"11318a53a113444d4ed748e4da09a00c6c31f4ecdd6cd83842deb4916f25d7dd"}}