{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:47KFU7GMBEAMSTM2BSUTUSYPNR","short_pith_number":"pith:47KFU7GM","canonical_record":{"source":{"id":"1503.02434","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-03-09T11:36:45Z","cross_cats_sorted":[],"title_canon_sha256":"2aabfb42a34c5123dd6f2917fc365d1bbbb937d0352e74a66f514e20068c9019","abstract_canon_sha256":"24e2af1aecc4d66314abb5e02eb28fa0dba1a62d760a954a3b0f97ce101d122e"},"schema_version":"1.0"},"canonical_sha256":"e7d45a7ccc0900c94d9a0ca93a4b0f6c7901828d608664cb4a3945261fbd64c4","source":{"kind":"arxiv","id":"1503.02434","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.02434","created_at":"2026-05-18T02:25:19Z"},{"alias_kind":"arxiv_version","alias_value":"1503.02434v1","created_at":"2026-05-18T02:25:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.02434","created_at":"2026-05-18T02:25:19Z"},{"alias_kind":"pith_short_12","alias_value":"47KFU7GMBEAM","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"47KFU7GMBEAMSTM2","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"47KFU7GM","created_at":"2026-05-18T12:29:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:47KFU7GMBEAMSTM2BSUTUSYPNR","target":"record","payload":{"canonical_record":{"source":{"id":"1503.02434","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-03-09T11:36:45Z","cross_cats_sorted":[],"title_canon_sha256":"2aabfb42a34c5123dd6f2917fc365d1bbbb937d0352e74a66f514e20068c9019","abstract_canon_sha256":"24e2af1aecc4d66314abb5e02eb28fa0dba1a62d760a954a3b0f97ce101d122e"},"schema_version":"1.0"},"canonical_sha256":"e7d45a7ccc0900c94d9a0ca93a4b0f6c7901828d608664cb4a3945261fbd64c4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:25:19.581858Z","signature_b64":"iv4ynZa+U+kCkAjL31lF0wjTxFedSFup2qZ4cettqYKZCb72U60iJJLhf7IpN4U8c7WnadyKrc7hpOm1EW1iDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e7d45a7ccc0900c94d9a0ca93a4b0f6c7901828d608664cb4a3945261fbd64c4","last_reissued_at":"2026-05-18T02:25:19.581531Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:25:19.581531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1503.02434","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-18T02:25:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JPJERmBmpOGfeF578M8Dlrjwjp6XbDZkl5QFlaabkeQvm0gg1cZLbEZb3F5KR+tYA2yMxsFGSflyEKy/z6wrCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T18:36:44.889781Z"},"content_sha256":"b0ba3c992a22111247132e69babf9a3836d1bb3e5a1ed44f057f9405f11be400","schema_version":"1.0","event_id":"sha256:b0ba3c992a22111247132e69babf9a3836d1bb3e5a1ed44f057f9405f11be400"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:47KFU7GMBEAMSTM2BSUTUSYPNR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Distributed execution of bigraphical reactive systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Alessio Mansutti, Marco Peressotti, Marino Miculan","submitted_at":"2015-03-09T11:36:45Z","abstract_excerpt":"The bigraph embedding problem is crucial for many results and tools about bigraphs and bigraphical reactive systems (BRS). Current algorithms for computing bigraphical embeddings are centralized, i.e. designed to run locally with a complete view of the guest and host bigraphs. In order to deal with large bigraphs, and to parallelize reactions, we present a decentralized algorithm, which distributes both state and computation over several concurrent processes. This allows for distributed, parallel simulations where non-interfering reactions can be carried out concurrently; nevertheless, even in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.02434","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-18T02:25:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"URERQub5gAQUkFow+pkHjkqEPa1YXQokaBbUsthEdHespusPn7y5WZx7eumazot0NaGhYkUSO+zunX7ZJ9wJCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T18:36:44.890133Z"},"content_sha256":"e550a995427764dabb903bbaa67f0893f8b147d2d1e73a1fe9f828eb876a624a","schema_version":"1.0","event_id":"sha256:e550a995427764dabb903bbaa67f0893f8b147d2d1e73a1fe9f828eb876a624a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/47KFU7GMBEAMSTM2BSUTUSYPNR/bundle.json","state_url":"https://pith.science/pith/47KFU7GMBEAMSTM2BSUTUSYPNR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/47KFU7GMBEAMSTM2BSUTUSYPNR/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-24T18:36:44Z","links":{"resolver":"https://pith.science/pith/47KFU7GMBEAMSTM2BSUTUSYPNR","bundle":"https://pith.science/pith/47KFU7GMBEAMSTM2BSUTUSYPNR/bundle.json","state":"https://pith.science/pith/47KFU7GMBEAMSTM2BSUTUSYPNR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/47KFU7GMBEAMSTM2BSUTUSYPNR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:47KFU7GMBEAMSTM2BSUTUSYPNR","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":"24e2af1aecc4d66314abb5e02eb28fa0dba1a62d760a954a3b0f97ce101d122e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-03-09T11:36:45Z","title_canon_sha256":"2aabfb42a34c5123dd6f2917fc365d1bbbb937d0352e74a66f514e20068c9019"},"schema_version":"1.0","source":{"id":"1503.02434","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.02434","created_at":"2026-05-18T02:25:19Z"},{"alias_kind":"arxiv_version","alias_value":"1503.02434v1","created_at":"2026-05-18T02:25:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.02434","created_at":"2026-05-18T02:25:19Z"},{"alias_kind":"pith_short_12","alias_value":"47KFU7GMBEAM","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"47KFU7GMBEAMSTM2","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"47KFU7GM","created_at":"2026-05-18T12:29:05Z"}],"graph_snapshots":[{"event_id":"sha256:e550a995427764dabb903bbaa67f0893f8b147d2d1e73a1fe9f828eb876a624a","target":"graph","created_at":"2026-05-18T02:25:19Z","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":"The bigraph embedding problem is crucial for many results and tools about bigraphs and bigraphical reactive systems (BRS). Current algorithms for computing bigraphical embeddings are centralized, i.e. designed to run locally with a complete view of the guest and host bigraphs. In order to deal with large bigraphs, and to parallelize reactions, we present a decentralized algorithm, which distributes both state and computation over several concurrent processes. This allows for distributed, parallel simulations where non-interfering reactions can be carried out concurrently; nevertheless, even in","authors_text":"Alessio Mansutti, Marco Peressotti, Marino Miculan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-03-09T11:36:45Z","title":"Distributed execution of bigraphical reactive systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.02434","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:b0ba3c992a22111247132e69babf9a3836d1bb3e5a1ed44f057f9405f11be400","target":"record","created_at":"2026-05-18T02:25:19Z","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":"24e2af1aecc4d66314abb5e02eb28fa0dba1a62d760a954a3b0f97ce101d122e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-03-09T11:36:45Z","title_canon_sha256":"2aabfb42a34c5123dd6f2917fc365d1bbbb937d0352e74a66f514e20068c9019"},"schema_version":"1.0","source":{"id":"1503.02434","kind":"arxiv","version":1}},"canonical_sha256":"e7d45a7ccc0900c94d9a0ca93a4b0f6c7901828d608664cb4a3945261fbd64c4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e7d45a7ccc0900c94d9a0ca93a4b0f6c7901828d608664cb4a3945261fbd64c4","first_computed_at":"2026-05-18T02:25:19.581531Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:25:19.581531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iv4ynZa+U+kCkAjL31lF0wjTxFedSFup2qZ4cettqYKZCb72U60iJJLhf7IpN4U8c7WnadyKrc7hpOm1EW1iDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:25:19.581858Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.02434","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b0ba3c992a22111247132e69babf9a3836d1bb3e5a1ed44f057f9405f11be400","sha256:e550a995427764dabb903bbaa67f0893f8b147d2d1e73a1fe9f828eb876a624a"],"state_sha256":"dbeb71ed65a2c12dac5be97c15adc96fd60866e13417598cd53c5f9b148112db"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E+AHZjLPA0Xsc7vNRz3ZJf0k6x7XZDg/4zboZjXVJRLBXqOeUMfplXZ2aX9T/yi8GRKLpllbFfmlbZS3PmPQAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T18:36:44.892073Z","bundle_sha256":"fcc3a232efbf43138569625dcca138f4bc95529088b6428d9bc398f285a92537"}}