{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:CEFRHR7I6XLWHSYKP7AHMFGLQO","short_pith_number":"pith:CEFRHR7I","canonical_record":{"source":{"id":"2504.00550","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-04-01T08:57:04Z","cross_cats_sorted":[],"title_canon_sha256":"32df6bf1848298c6d2be0e99677de90edd1da43d5107d5a8ca4f31069d90ceb9","abstract_canon_sha256":"28abe5b7284e618ea532a6e2d3c2dabdf3b39e4e9a69b8c1fedb9b585ebc06ef"},"schema_version":"1.0"},"canonical_sha256":"110b13c7e8f5d763cb0a7fc07614cb83bb1a8105c8122835404d143dca40c48d","source":{"kind":"arxiv","id":"2504.00550","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.00550","created_at":"2026-07-05T10:44:44Z"},{"alias_kind":"arxiv_version","alias_value":"2504.00550v2","created_at":"2026-07-05T10:44:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.00550","created_at":"2026-07-05T10:44:44Z"},{"alias_kind":"pith_short_12","alias_value":"CEFRHR7I6XLW","created_at":"2026-07-05T10:44:44Z"},{"alias_kind":"pith_short_16","alias_value":"CEFRHR7I6XLWHSYK","created_at":"2026-07-05T10:44:44Z"},{"alias_kind":"pith_short_8","alias_value":"CEFRHR7I","created_at":"2026-07-05T10:44:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:CEFRHR7I6XLWHSYKP7AHMFGLQO","target":"record","payload":{"canonical_record":{"source":{"id":"2504.00550","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-04-01T08:57:04Z","cross_cats_sorted":[],"title_canon_sha256":"32df6bf1848298c6d2be0e99677de90edd1da43d5107d5a8ca4f31069d90ceb9","abstract_canon_sha256":"28abe5b7284e618ea532a6e2d3c2dabdf3b39e4e9a69b8c1fedb9b585ebc06ef"},"schema_version":"1.0"},"canonical_sha256":"110b13c7e8f5d763cb0a7fc07614cb83bb1a8105c8122835404d143dca40c48d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:44:44.925950Z","signature_b64":"2UovwhBx93K+vQx68ACO+Xa/2Qklp0Bq7CD30WR4VCo6bLU61jV1ZrHgpyrkjRdY9+/53r3EcLONQ2EZXe63Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"110b13c7e8f5d763cb0a7fc07614cb83bb1a8105c8122835404d143dca40c48d","last_reissued_at":"2026-07-05T10:44:44.925411Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:44:44.925411Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.00550","source_version":2,"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-05T10:44:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VN0LQCseB3A+WadbVm5c7esT+/z1COWXgUZ4McEVIZja8/oPhk22Kufdna+9L6yxpgC3R0Yaha3ug0wATMi9CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T10:22:41.104637Z"},"content_sha256":"4a60a46923cb623dd4a24618fae813e86bc52047fd5e935a30a52b402db48bad","schema_version":"1.0","event_id":"sha256:4a60a46923cb623dd4a24618fae813e86bc52047fd5e935a30a52b402db48bad"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:CEFRHR7I6XLWHSYKP7AHMFGLQO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computing Alignments for Partially-ordered Traces Through Petri Net Unfoldings","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Ariba Siddiqui, Daniel Schuster, Wil M. P. van der Aalst","submitted_at":"2025-04-01T08:57:04Z","abstract_excerpt":"Conformance checking techniques aim to provide diagnostics on the conformity between process models and event data. Conventional methods, such as trace alignments, assume strict total ordering of events, leading to inaccuracies when timestamps are overlapping, coarse, or missing. In contrast, existing methods that support partially ordered events rely upon the interleaving semantics of Petri nets, the reachability graphs, which suffer from the state space explosion problem. %Besides, this view also forces the solution to create a partially ordered alignment almost artificially. This paper prop"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.00550","kind":"arxiv","version":2},"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/2504.00550/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-05T10:44:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"72sFtwBJQ0qL2vvvcNFTQ3uh3DvrAhInqRPjX2g6+9M7wzVODqcmeGImy22p85omn2WlWsIKCuiqJ5pWN247BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T10:22:41.105117Z"},"content_sha256":"15b324e29c28750723d0ba4377faa3d8e52d326c8d470c44bd567fc5e8db4756","schema_version":"1.0","event_id":"sha256:15b324e29c28750723d0ba4377faa3d8e52d326c8d470c44bd567fc5e8db4756"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CEFRHR7I6XLWHSYKP7AHMFGLQO/bundle.json","state_url":"https://pith.science/pith/CEFRHR7I6XLWHSYKP7AHMFGLQO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CEFRHR7I6XLWHSYKP7AHMFGLQO/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-08T10:22:41Z","links":{"resolver":"https://pith.science/pith/CEFRHR7I6XLWHSYKP7AHMFGLQO","bundle":"https://pith.science/pith/CEFRHR7I6XLWHSYKP7AHMFGLQO/bundle.json","state":"https://pith.science/pith/CEFRHR7I6XLWHSYKP7AHMFGLQO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CEFRHR7I6XLWHSYKP7AHMFGLQO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:CEFRHR7I6XLWHSYKP7AHMFGLQO","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":"28abe5b7284e618ea532a6e2d3c2dabdf3b39e4e9a69b8c1fedb9b585ebc06ef","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-04-01T08:57:04Z","title_canon_sha256":"32df6bf1848298c6d2be0e99677de90edd1da43d5107d5a8ca4f31069d90ceb9"},"schema_version":"1.0","source":{"id":"2504.00550","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.00550","created_at":"2026-07-05T10:44:44Z"},{"alias_kind":"arxiv_version","alias_value":"2504.00550v2","created_at":"2026-07-05T10:44:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.00550","created_at":"2026-07-05T10:44:44Z"},{"alias_kind":"pith_short_12","alias_value":"CEFRHR7I6XLW","created_at":"2026-07-05T10:44:44Z"},{"alias_kind":"pith_short_16","alias_value":"CEFRHR7I6XLWHSYK","created_at":"2026-07-05T10:44:44Z"},{"alias_kind":"pith_short_8","alias_value":"CEFRHR7I","created_at":"2026-07-05T10:44:44Z"}],"graph_snapshots":[{"event_id":"sha256:15b324e29c28750723d0ba4377faa3d8e52d326c8d470c44bd567fc5e8db4756","target":"graph","created_at":"2026-07-05T10:44:44Z","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/2504.00550/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Conformance checking techniques aim to provide diagnostics on the conformity between process models and event data. Conventional methods, such as trace alignments, assume strict total ordering of events, leading to inaccuracies when timestamps are overlapping, coarse, or missing. In contrast, existing methods that support partially ordered events rely upon the interleaving semantics of Petri nets, the reachability graphs, which suffer from the state space explosion problem. %Besides, this view also forces the solution to create a partially ordered alignment almost artificially. This paper prop","authors_text":"Ariba Siddiqui, Daniel Schuster, Wil M. P. van der Aalst","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-04-01T08:57:04Z","title":"Computing Alignments for Partially-ordered Traces Through Petri Net Unfoldings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.00550","kind":"arxiv","version":2},"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:4a60a46923cb623dd4a24618fae813e86bc52047fd5e935a30a52b402db48bad","target":"record","created_at":"2026-07-05T10:44:44Z","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":"28abe5b7284e618ea532a6e2d3c2dabdf3b39e4e9a69b8c1fedb9b585ebc06ef","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-04-01T08:57:04Z","title_canon_sha256":"32df6bf1848298c6d2be0e99677de90edd1da43d5107d5a8ca4f31069d90ceb9"},"schema_version":"1.0","source":{"id":"2504.00550","kind":"arxiv","version":2}},"canonical_sha256":"110b13c7e8f5d763cb0a7fc07614cb83bb1a8105c8122835404d143dca40c48d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"110b13c7e8f5d763cb0a7fc07614cb83bb1a8105c8122835404d143dca40c48d","first_computed_at":"2026-07-05T10:44:44.925411Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:44:44.925411Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2UovwhBx93K+vQx68ACO+Xa/2Qklp0Bq7CD30WR4VCo6bLU61jV1ZrHgpyrkjRdY9+/53r3EcLONQ2EZXe63Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:44:44.925950Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.00550","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4a60a46923cb623dd4a24618fae813e86bc52047fd5e935a30a52b402db48bad","sha256:15b324e29c28750723d0ba4377faa3d8e52d326c8d470c44bd567fc5e8db4756"],"state_sha256":"54f4d7da38e1a7b1be01914a8b6776134ec101bfe13de2e84280a1b7964823dd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vMN4kr/cYn8Z6cIqYS7Xu0jcufQUswOqhBxDbzcbg3uz2wVZD4ViV3N2fByU1VtSk93m2835Eb2YmsL9mbCgCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T10:22:41.108449Z","bundle_sha256":"6dacbf7f00da2899b32f3550a0896bff7543ddfdc8bada764228269cafc92463"}}