{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:KLE5GF6BINPZA7VUPPCYMSCDWU","short_pith_number":"pith:KLE5GF6B","schema_version":"1.0","canonical_sha256":"52c9d317c1435f907eb47bc5864843b5033bda7158b7950b912d42e707415e39","source":{"kind":"arxiv","id":"2408.06028","version":1},"attestation_state":"computed","paper":{"title":"BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Adrian Rutle, Harald K\\\"onig, Patrick St\\\"unkel, Tim Kr\\\"auter, Yngve Lamo","submitted_at":"2024-08-12T09:32:34Z","abstract_excerpt":"Many business process models contain control flow errors, such as deadlocks or livelocks, which hinder proper execution. In this paper, we introduce a new tool that can instantaneously identify control flow errors in BPMN models, make them understandable for modelers, and suggest corrections to resolve them. We demonstrate that detection is instantaneous by benchmarking our tool against synthetic BPMN models with increasing size and state space complexity, as well as realistic models. Moreover, the tool directly displays detected errors in the model, including an interactive visualization, and"},"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":"2408.06028","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-08-12T09:32:34Z","cross_cats_sorted":[],"title_canon_sha256":"fc41a48b39bd12ceeed1f6cc51739e03f07ec72b9a8a3e8a75af7110aa559f4e","abstract_canon_sha256":"7882ee34322c52cdbc5f94eb2769d3d9c3ce6cd94d056b515c512e24e44cc52e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:54:28.600110Z","signature_b64":"b1PgM11VenG8aJxQWtANsCEBB5XI204E9DspbGU2j7U+0lWNhDXNhQtJJfzhd0M1ZSIoOyFl6N6CFDoW+V4XCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"52c9d317c1435f907eb47bc5864843b5033bda7158b7950b912d42e707415e39","last_reissued_at":"2026-07-05T08:54:28.599708Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:54:28.599708Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Adrian Rutle, Harald K\\\"onig, Patrick St\\\"unkel, Tim Kr\\\"auter, Yngve Lamo","submitted_at":"2024-08-12T09:32:34Z","abstract_excerpt":"Many business process models contain control flow errors, such as deadlocks or livelocks, which hinder proper execution. In this paper, we introduce a new tool that can instantaneously identify control flow errors in BPMN models, make them understandable for modelers, and suggest corrections to resolve them. We demonstrate that detection is instantaneous by benchmarking our tool against synthetic BPMN models with increasing size and state space complexity, as well as realistic models. Moreover, the tool directly displays detected errors in the model, including an interactive visualization, and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.06028","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/2408.06028/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":"2408.06028","created_at":"2026-07-05T08:54:28.599765+00:00"},{"alias_kind":"arxiv_version","alias_value":"2408.06028v1","created_at":"2026-07-05T08:54:28.599765+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.06028","created_at":"2026-07-05T08:54:28.599765+00:00"},{"alias_kind":"pith_short_12","alias_value":"KLE5GF6BINPZ","created_at":"2026-07-05T08:54:28.599765+00:00"},{"alias_kind":"pith_short_16","alias_value":"KLE5GF6BINPZA7VU","created_at":"2026-07-05T08:54:28.599765+00:00"},{"alias_kind":"pith_short_8","alias_value":"KLE5GF6B","created_at":"2026-07-05T08:54:28.599765+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/KLE5GF6BINPZA7VUPPCYMSCDWU","json":"https://pith.science/pith/KLE5GF6BINPZA7VUPPCYMSCDWU.json","graph_json":"https://pith.science/api/pith-number/KLE5GF6BINPZA7VUPPCYMSCDWU/graph.json","events_json":"https://pith.science/api/pith-number/KLE5GF6BINPZA7VUPPCYMSCDWU/events.json","paper":"https://pith.science/paper/KLE5GF6B"},"agent_actions":{"view_html":"https://pith.science/pith/KLE5GF6BINPZA7VUPPCYMSCDWU","download_json":"https://pith.science/pith/KLE5GF6BINPZA7VUPPCYMSCDWU.json","view_paper":"https://pith.science/paper/KLE5GF6B","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2408.06028&json=true","fetch_graph":"https://pith.science/api/pith-number/KLE5GF6BINPZA7VUPPCYMSCDWU/graph.json","fetch_events":"https://pith.science/api/pith-number/KLE5GF6BINPZA7VUPPCYMSCDWU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KLE5GF6BINPZA7VUPPCYMSCDWU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KLE5GF6BINPZA7VUPPCYMSCDWU/action/storage_attestation","attest_author":"https://pith.science/pith/KLE5GF6BINPZA7VUPPCYMSCDWU/action/author_attestation","sign_citation":"https://pith.science/pith/KLE5GF6BINPZA7VUPPCYMSCDWU/action/citation_signature","submit_replication":"https://pith.science/pith/KLE5GF6BINPZA7VUPPCYMSCDWU/action/replication_record"}},"created_at":"2026-07-05T08:54:28.599765+00:00","updated_at":"2026-07-05T08:54:28.599765+00:00"}