{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:LI4FELNY3YEJKWXMTCSZ4RW4AZ","short_pith_number":"pith:LI4FELNY","canonical_record":{"source":{"id":"1107.1383","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-07-06T08:36:07Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"183889bcaf6a2d0bd1e0013fc6759788ec7e76501231811787440b1bd71389f7","abstract_canon_sha256":"110b82759bcd291cd6c6a4d96365080253e64c30d6bbf2f24594a73d1080a1a9"},"schema_version":"1.0"},"canonical_sha256":"5a38522db8de08955aec98a59e46dc066c3d135e1a88b73f1843dfc192e4287c","source":{"kind":"arxiv","id":"1107.1383","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.1383","created_at":"2026-05-18T04:11:31Z"},{"alias_kind":"arxiv_version","alias_value":"1107.1383v2","created_at":"2026-05-18T04:11:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.1383","created_at":"2026-05-18T04:11:31Z"},{"alias_kind":"pith_short_12","alias_value":"LI4FELNY3YEJ","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"LI4FELNY3YEJKWXM","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"LI4FELNY","created_at":"2026-05-18T12:26:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:LI4FELNY3YEJKWXMTCSZ4RW4AZ","target":"record","payload":{"canonical_record":{"source":{"id":"1107.1383","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-07-06T08:36:07Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"183889bcaf6a2d0bd1e0013fc6759788ec7e76501231811787440b1bd71389f7","abstract_canon_sha256":"110b82759bcd291cd6c6a4d96365080253e64c30d6bbf2f24594a73d1080a1a9"},"schema_version":"1.0"},"canonical_sha256":"5a38522db8de08955aec98a59e46dc066c3d135e1a88b73f1843dfc192e4287c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:11:31.513500Z","signature_b64":"AiUgmluY5SyNgGYjUBulyHdH6K0Jy2e95H3SDBB8JAqUXIWIPqMyI3irBRT2hAEvo0tadI6SvVwO0eoxsldCCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5a38522db8de08955aec98a59e46dc066c3d135e1a88b73f1843dfc192e4287c","last_reissued_at":"2026-05-18T04:11:31.512889Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:11:31.512889Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1107.1383","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-05-18T04:11:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RkXk5ZmEwjMmlPbaRDfqWyLEK74yYD7NW0QbaLYPE5csWg+EPm5ld/ekkOY/sC9RqCjWrBujA7r/2fp4P/BHBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T04:52:46.064722Z"},"content_sha256":"937e2b3fee294a402dbc631549b11aeee6b450ee4e96879cd6c1532938c54cde","schema_version":"1.0","event_id":"sha256:937e2b3fee294a402dbc631549b11aeee6b450ee4e96879cd6c1532938c54cde"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:LI4FELNY3YEJKWXMTCSZ4RW4AZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algorithms for Synthesizing Priorities in Component-based Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.LO","authors_text":"Alois Knoll, Barbara Jobstmann, Chih-Hong Cheng, Christian Buckl, Harald Ruess, Rongjie Yan, Saddek Bensalem, Yu-Fang Chen","submitted_at":"2011-07-06T08:36:07Z","abstract_excerpt":"We present algorithms to synthesize component-based systems that are safe and deadlock-free using priorities, which define stateless-precedence between enabled actions. Our core method combines the concept of fault-localization (using safety-game) and fault-repair (using SAT for conflict resolution). For complex systems, we propose three complementary methods as preprocessing steps for priority synthesis, namely (a) data abstraction to reduce component complexities, (b) alphabet abstraction and #-deadlock to ignore components, and (c) automated assumption learning for compositional priority sy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.1383","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":""},"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-18T04:11:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LdKuyrFUV1cecPAs4KVv05zP0l+XuV1uhKrsOZCPcswMOGpN1Cd37Ipqtgm38kxudkIJP/cSd7idXYzyV2pvAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T04:52:46.065401Z"},"content_sha256":"90c7f58cdc56a0fb0d89e29f36c9ea07f310f336c5f7f91565b5cf8d846eed59","schema_version":"1.0","event_id":"sha256:90c7f58cdc56a0fb0d89e29f36c9ea07f310f336c5f7f91565b5cf8d846eed59"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LI4FELNY3YEJKWXMTCSZ4RW4AZ/bundle.json","state_url":"https://pith.science/pith/LI4FELNY3YEJKWXMTCSZ4RW4AZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LI4FELNY3YEJKWXMTCSZ4RW4AZ/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-05-26T04:52:46Z","links":{"resolver":"https://pith.science/pith/LI4FELNY3YEJKWXMTCSZ4RW4AZ","bundle":"https://pith.science/pith/LI4FELNY3YEJKWXMTCSZ4RW4AZ/bundle.json","state":"https://pith.science/pith/LI4FELNY3YEJKWXMTCSZ4RW4AZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LI4FELNY3YEJKWXMTCSZ4RW4AZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:LI4FELNY3YEJKWXMTCSZ4RW4AZ","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":"110b82759bcd291cd6c6a4d96365080253e64c30d6bbf2f24594a73d1080a1a9","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-07-06T08:36:07Z","title_canon_sha256":"183889bcaf6a2d0bd1e0013fc6759788ec7e76501231811787440b1bd71389f7"},"schema_version":"1.0","source":{"id":"1107.1383","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.1383","created_at":"2026-05-18T04:11:31Z"},{"alias_kind":"arxiv_version","alias_value":"1107.1383v2","created_at":"2026-05-18T04:11:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.1383","created_at":"2026-05-18T04:11:31Z"},{"alias_kind":"pith_short_12","alias_value":"LI4FELNY3YEJ","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"LI4FELNY3YEJKWXM","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"LI4FELNY","created_at":"2026-05-18T12:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:90c7f58cdc56a0fb0d89e29f36c9ea07f310f336c5f7f91565b5cf8d846eed59","target":"graph","created_at":"2026-05-18T04:11:31Z","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":"We present algorithms to synthesize component-based systems that are safe and deadlock-free using priorities, which define stateless-precedence between enabled actions. Our core method combines the concept of fault-localization (using safety-game) and fault-repair (using SAT for conflict resolution). For complex systems, we propose three complementary methods as preprocessing steps for priority synthesis, namely (a) data abstraction to reduce component complexities, (b) alphabet abstraction and #-deadlock to ignore components, and (c) automated assumption learning for compositional priority sy","authors_text":"Alois Knoll, Barbara Jobstmann, Chih-Hong Cheng, Christian Buckl, Harald Ruess, Rongjie Yan, Saddek Bensalem, Yu-Fang Chen","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-07-06T08:36:07Z","title":"Algorithms for Synthesizing Priorities in Component-based Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.1383","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:937e2b3fee294a402dbc631549b11aeee6b450ee4e96879cd6c1532938c54cde","target":"record","created_at":"2026-05-18T04:11:31Z","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":"110b82759bcd291cd6c6a4d96365080253e64c30d6bbf2f24594a73d1080a1a9","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-07-06T08:36:07Z","title_canon_sha256":"183889bcaf6a2d0bd1e0013fc6759788ec7e76501231811787440b1bd71389f7"},"schema_version":"1.0","source":{"id":"1107.1383","kind":"arxiv","version":2}},"canonical_sha256":"5a38522db8de08955aec98a59e46dc066c3d135e1a88b73f1843dfc192e4287c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5a38522db8de08955aec98a59e46dc066c3d135e1a88b73f1843dfc192e4287c","first_computed_at":"2026-05-18T04:11:31.512889Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:11:31.512889Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AiUgmluY5SyNgGYjUBulyHdH6K0Jy2e95H3SDBB8JAqUXIWIPqMyI3irBRT2hAEvo0tadI6SvVwO0eoxsldCCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:11:31.513500Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.1383","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:937e2b3fee294a402dbc631549b11aeee6b450ee4e96879cd6c1532938c54cde","sha256:90c7f58cdc56a0fb0d89e29f36c9ea07f310f336c5f7f91565b5cf8d846eed59"],"state_sha256":"b28ee5ced6809eb16b7df307b8c5927268ca04381611b8c9d830697a0a8b6731"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZuXjBM7q2MI+XkjoumkfnJ2oxvbdoam90lfBJfJkbGTcEn/HNSSKcXgYiCsb+wQWKqxJ1zwYJAPnaIsg2MznDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T04:52:46.069252Z","bundle_sha256":"cd2ac9a8de17685fcc10bdb70a34d91af9639a2b27a064164d9ab3b8c55dedad"}}