{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:T2EOYECTMIJBNBIGONPB45A6ZA","short_pith_number":"pith:T2EOYECT","schema_version":"1.0","canonical_sha256":"9e88ec10536212168506735e1e741ec815811b06c4d40747367be06b77e79c5a","source":{"kind":"arxiv","id":"2506.08627","version":1},"attestation_state":"computed","paper":{"title":"FoldA: Computing Partial-Order Alignments Using Directed Net Unfoldings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Douwe Geurtjens, Xixi Lu","submitted_at":"2025-06-10T09:44:05Z","abstract_excerpt":"Conformance checking is a fundamental task of process mining, which quantifies the extent to which the observed process executions match a normative process model. The state-of-the-art approaches compute alignments by exploring the state space formed by the synchronous product of the process model and the trace. This often leads to state space explosion, particularly when the model exhibits a high degree of choice and concurrency. Moreover, as alignments inherently impose a sequential structure, they fail to fully represent the concurrent behavior present in many real-world processes. To addre"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2506.08627","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-10T09:44:05Z","cross_cats_sorted":[],"title_canon_sha256":"6dc5a5b01bf1151b51f8999bf251da3b9e8281822cbd00e0566b99942ef02d2b","abstract_canon_sha256":"e9831536b437738c4c945a2e0fc9f4c28faa33c972fa85d00a9c99a3032ca464"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:19:10.740878Z","signature_b64":"eHaxj4DHOx/7EFJodSg1xaN2Zg+iVOIAShoXTWALoiTDofbtgc6BlgjpRQv6fP2fnt/vja/BYy/TWOtx9GskAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e88ec10536212168506735e1e741ec815811b06c4d40747367be06b77e79c5a","last_reissued_at":"2026-07-05T11:19:10.740443Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:19:10.740443Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"FoldA: Computing Partial-Order Alignments Using Directed Net Unfoldings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Douwe Geurtjens, Xixi Lu","submitted_at":"2025-06-10T09:44:05Z","abstract_excerpt":"Conformance checking is a fundamental task of process mining, which quantifies the extent to which the observed process executions match a normative process model. The state-of-the-art approaches compute alignments by exploring the state space formed by the synchronous product of the process model and the trace. This often leads to state space explosion, particularly when the model exhibits a high degree of choice and concurrency. Moreover, as alignments inherently impose a sequential structure, they fail to fully represent the concurrent behavior present in many real-world processes. To addre"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08627","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/2506.08627/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.08627","created_at":"2026-07-05T11:19:10.740498+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.08627v1","created_at":"2026-07-05T11:19:10.740498+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08627","created_at":"2026-07-05T11:19:10.740498+00:00"},{"alias_kind":"pith_short_12","alias_value":"T2EOYECTMIJB","created_at":"2026-07-05T11:19:10.740498+00:00"},{"alias_kind":"pith_short_16","alias_value":"T2EOYECTMIJBNBIG","created_at":"2026-07-05T11:19:10.740498+00:00"},{"alias_kind":"pith_short_8","alias_value":"T2EOYECT","created_at":"2026-07-05T11:19:10.740498+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/T2EOYECTMIJBNBIGONPB45A6ZA","json":"https://pith.science/pith/T2EOYECTMIJBNBIGONPB45A6ZA.json","graph_json":"https://pith.science/api/pith-number/T2EOYECTMIJBNBIGONPB45A6ZA/graph.json","events_json":"https://pith.science/api/pith-number/T2EOYECTMIJBNBIGONPB45A6ZA/events.json","paper":"https://pith.science/paper/T2EOYECT"},"agent_actions":{"view_html":"https://pith.science/pith/T2EOYECTMIJBNBIGONPB45A6ZA","download_json":"https://pith.science/pith/T2EOYECTMIJBNBIGONPB45A6ZA.json","view_paper":"https://pith.science/paper/T2EOYECT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.08627&json=true","fetch_graph":"https://pith.science/api/pith-number/T2EOYECTMIJBNBIGONPB45A6ZA/graph.json","fetch_events":"https://pith.science/api/pith-number/T2EOYECTMIJBNBIGONPB45A6ZA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/T2EOYECTMIJBNBIGONPB45A6ZA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/T2EOYECTMIJBNBIGONPB45A6ZA/action/storage_attestation","attest_author":"https://pith.science/pith/T2EOYECTMIJBNBIGONPB45A6ZA/action/author_attestation","sign_citation":"https://pith.science/pith/T2EOYECTMIJBNBIGONPB45A6ZA/action/citation_signature","submit_replication":"https://pith.science/pith/T2EOYECTMIJBNBIGONPB45A6ZA/action/replication_record"}},"created_at":"2026-07-05T11:19:10.740498+00:00","updated_at":"2026-07-05T11:19:10.740498+00:00"}