{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:AI5Y7EX4WWUZEPKL5JBNXHMM6G","short_pith_number":"pith:AI5Y7EX4","canonical_record":{"source":{"id":"1704.04190","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-13T16:00:50Z","cross_cats_sorted":[],"title_canon_sha256":"8141c42d1399bf887a4ee0e1b51db1126285a242f44164ea62bbc7f3eb2b3fef","abstract_canon_sha256":"c16e4bd8ae1202ed6cc318d7e6226c53e61ba94edffd44c38b74971a3674442e"},"schema_version":"1.0"},"canonical_sha256":"023b8f92fcb5a9923d4bea42db9d8cf190a9ff108e4db1bb64448f0af14d14b8","source":{"kind":"arxiv","id":"1704.04190","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.04190","created_at":"2026-05-18T00:46:22Z"},{"alias_kind":"arxiv_version","alias_value":"1704.04190v1","created_at":"2026-05-18T00:46:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.04190","created_at":"2026-05-18T00:46:22Z"},{"alias_kind":"pith_short_12","alias_value":"AI5Y7EX4WWUZ","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"AI5Y7EX4WWUZEPKL","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"AI5Y7EX4","created_at":"2026-05-18T12:31:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:AI5Y7EX4WWUZEPKL5JBNXHMM6G","target":"record","payload":{"canonical_record":{"source":{"id":"1704.04190","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-13T16:00:50Z","cross_cats_sorted":[],"title_canon_sha256":"8141c42d1399bf887a4ee0e1b51db1126285a242f44164ea62bbc7f3eb2b3fef","abstract_canon_sha256":"c16e4bd8ae1202ed6cc318d7e6226c53e61ba94edffd44c38b74971a3674442e"},"schema_version":"1.0"},"canonical_sha256":"023b8f92fcb5a9923d4bea42db9d8cf190a9ff108e4db1bb64448f0af14d14b8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:22.885307Z","signature_b64":"jzggHTwqgXxsuxbcRGtn8A7z7urUZSSfQirOWd/Wa9U77oY3+QYs9AtTMknxr12FTyy6lj50RNc+1OvtfulUBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"023b8f92fcb5a9923d4bea42db9d8cf190a9ff108e4db1bb64448f0af14d14b8","last_reissued_at":"2026-05-18T00:46:22.884813Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:22.884813Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.04190","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-05-18T00:46:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YcUjCzYYvUT36r8lLCzxrkEvol+1h1BPEcmpX2QHm8duThh3ggKwg3unN/8qCFSiDWvIP+VWCMpQAPZca2GnBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T03:50:19.840298Z"},"content_sha256":"0b126a199ec0290d2b5fa68805b4ec597bca3b7041284f38df8f7be91d511c9c","schema_version":"1.0","event_id":"sha256:0b126a199ec0290d2b5fa68805b4ec597bca3b7041284f38df8f7be91d511c9c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:AI5Y7EX4WWUZEPKL5JBNXHMM6G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Static Analysis of Deterministic Negotiations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anca Muscholl, Igor Walukiewicz, Javier Esparza","submitted_at":"2017-04-13T16:00:50Z","abstract_excerpt":"Negotiation diagrams are a model of concurrent computation akin to workflow Petri nets. Deterministic negotiation diagrams, equivalent to the much studied and used free-choice workflow Petri nets, are surprisingly amenable to verification. Soundness (a property close to deadlock-freedom) can be decided in PTIME. Further, other fundamental questions like computing summaries or the expected cost, can also be solved in PTIME for sound deterministic negotiation diagrams, while they are PSPACE-complete in the general case.\n  In this paper we generalize and explain these results. We extend the class"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.04190","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":""},"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-05-18T00:46:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2qp40P/Yx8Ax1T9Of5pweGwhx+T1kh/KJNkUaQTJHgrVgVSq2LjL/xHk4TeQNziCNlBjRo0zQhX4ytAUz42ECA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T03:50:19.840670Z"},"content_sha256":"b3f260a5df72b112684162eb7ff70276b2fcc47dbdd9983ebffeb629ab1d6714","schema_version":"1.0","event_id":"sha256:b3f260a5df72b112684162eb7ff70276b2fcc47dbdd9983ebffeb629ab1d6714"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AI5Y7EX4WWUZEPKL5JBNXHMM6G/bundle.json","state_url":"https://pith.science/pith/AI5Y7EX4WWUZEPKL5JBNXHMM6G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AI5Y7EX4WWUZEPKL5JBNXHMM6G/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-06-01T03:50:19Z","links":{"resolver":"https://pith.science/pith/AI5Y7EX4WWUZEPKL5JBNXHMM6G","bundle":"https://pith.science/pith/AI5Y7EX4WWUZEPKL5JBNXHMM6G/bundle.json","state":"https://pith.science/pith/AI5Y7EX4WWUZEPKL5JBNXHMM6G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AI5Y7EX4WWUZEPKL5JBNXHMM6G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:AI5Y7EX4WWUZEPKL5JBNXHMM6G","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":"c16e4bd8ae1202ed6cc318d7e6226c53e61ba94edffd44c38b74971a3674442e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-13T16:00:50Z","title_canon_sha256":"8141c42d1399bf887a4ee0e1b51db1126285a242f44164ea62bbc7f3eb2b3fef"},"schema_version":"1.0","source":{"id":"1704.04190","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.04190","created_at":"2026-05-18T00:46:22Z"},{"alias_kind":"arxiv_version","alias_value":"1704.04190v1","created_at":"2026-05-18T00:46:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.04190","created_at":"2026-05-18T00:46:22Z"},{"alias_kind":"pith_short_12","alias_value":"AI5Y7EX4WWUZ","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"AI5Y7EX4WWUZEPKL","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"AI5Y7EX4","created_at":"2026-05-18T12:31:05Z"}],"graph_snapshots":[{"event_id":"sha256:b3f260a5df72b112684162eb7ff70276b2fcc47dbdd9983ebffeb629ab1d6714","target":"graph","created_at":"2026-05-18T00:46:22Z","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"},"paper":{"abstract_excerpt":"Negotiation diagrams are a model of concurrent computation akin to workflow Petri nets. Deterministic negotiation diagrams, equivalent to the much studied and used free-choice workflow Petri nets, are surprisingly amenable to verification. Soundness (a property close to deadlock-freedom) can be decided in PTIME. Further, other fundamental questions like computing summaries or the expected cost, can also be solved in PTIME for sound deterministic negotiation diagrams, while they are PSPACE-complete in the general case.\n  In this paper we generalize and explain these results. We extend the class","authors_text":"Anca Muscholl, Igor Walukiewicz, Javier Esparza","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-13T16:00:50Z","title":"Static Analysis of Deterministic Negotiations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.04190","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:0b126a199ec0290d2b5fa68805b4ec597bca3b7041284f38df8f7be91d511c9c","target":"record","created_at":"2026-05-18T00:46:22Z","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":"c16e4bd8ae1202ed6cc318d7e6226c53e61ba94edffd44c38b74971a3674442e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-13T16:00:50Z","title_canon_sha256":"8141c42d1399bf887a4ee0e1b51db1126285a242f44164ea62bbc7f3eb2b3fef"},"schema_version":"1.0","source":{"id":"1704.04190","kind":"arxiv","version":1}},"canonical_sha256":"023b8f92fcb5a9923d4bea42db9d8cf190a9ff108e4db1bb64448f0af14d14b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"023b8f92fcb5a9923d4bea42db9d8cf190a9ff108e4db1bb64448f0af14d14b8","first_computed_at":"2026-05-18T00:46:22.884813Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:46:22.884813Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jzggHTwqgXxsuxbcRGtn8A7z7urUZSSfQirOWd/Wa9U77oY3+QYs9AtTMknxr12FTyy6lj50RNc+1OvtfulUBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:46:22.885307Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.04190","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0b126a199ec0290d2b5fa68805b4ec597bca3b7041284f38df8f7be91d511c9c","sha256:b3f260a5df72b112684162eb7ff70276b2fcc47dbdd9983ebffeb629ab1d6714"],"state_sha256":"64a39ecb442d099a2063ed2452817000f652ef015de67561ced3ebf87889ecba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ExrlnQYqnl4efkPrN58cn+wJi4BxmNVVNkVdy7cGa23klcMKkAzcbcq+cNJlSoDaXDQJwm/H50AaFIfkV6arDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T03:50:19.842594Z","bundle_sha256":"5737ae2d7ccdc544ab1460e2710ffae1151c7395f795a3b35a6b18398431897c"}}