{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:ZOPDJZT4OKO6UPLYUA5WQ6JYCF","short_pith_number":"pith:ZOPDJZT4","canonical_record":{"source":{"id":"1011.0493","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2010-11-02T01:29:42Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"a8362dd1060de5d1093b7fd903724ea6cffb8c07cb81493acf296291f13fa176","abstract_canon_sha256":"d81cdc59adc8539f529396ab1168689e95f053a054ba633db20a8ca039f7ea21"},"schema_version":"1.0"},"canonical_sha256":"cb9e34e67c729dea3d78a03b68793811662e573a5d3c9a6225853b721f550339","source":{"kind":"arxiv","id":"1011.0493","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.0493","created_at":"2026-05-18T04:37:21Z"},{"alias_kind":"arxiv_version","alias_value":"1011.0493v1","created_at":"2026-05-18T04:37:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.0493","created_at":"2026-05-18T04:37:21Z"},{"alias_kind":"pith_short_12","alias_value":"ZOPDJZT4OKO6","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_16","alias_value":"ZOPDJZT4OKO6UPLY","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_8","alias_value":"ZOPDJZT4","created_at":"2026-05-18T12:26:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:ZOPDJZT4OKO6UPLYUA5WQ6JYCF","target":"record","payload":{"canonical_record":{"source":{"id":"1011.0493","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2010-11-02T01:29:42Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"a8362dd1060de5d1093b7fd903724ea6cffb8c07cb81493acf296291f13fa176","abstract_canon_sha256":"d81cdc59adc8539f529396ab1168689e95f053a054ba633db20a8ca039f7ea21"},"schema_version":"1.0"},"canonical_sha256":"cb9e34e67c729dea3d78a03b68793811662e573a5d3c9a6225853b721f550339","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:37:21.555735Z","signature_b64":"Ggi1eVx0j3zONl5JtMy32wtfWkoIPcT7RoURA9x0Dd4SENaqSFTH0Thfy8a6VlDpeaDZXZCI0nQRysnL4Q79CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cb9e34e67c729dea3d78a03b68793811662e573a5d3c9a6225853b721f550339","last_reissued_at":"2026-05-18T04:37:21.555015Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:37:21.555015Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1011.0493","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-18T04:37:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X2bJnijAUhVwhQ1TcrhTkKF+ro69SIIdodwKgOQSZrHyf6NEf3c8h3xHXVZ/ng0hn9mnPdA4gYwcNt8wzDy+Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T23:11:13.215048Z"},"content_sha256":"b2cd633da3e89456e1342b3fb88a07dbb11b8a0d46e705e01c61a6a9785f6b65","schema_version":"1.0","event_id":"sha256:b2cd633da3e89456e1342b3fb88a07dbb11b8a0d46e705e01c61a6a9785f6b65"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:ZOPDJZT4OKO6UPLYUA5WQ6JYCF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modeling biological systems with delays in Bio-PEPA","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.QM"],"primary_cat":"cs.CE","authors_text":"Giulio Caravagna (Dipartimento di Informatica, ITALY.), Jane Hillston (Laboratory for Foundations of Computer Science, Scotland.), The University of Edinburgh, Universita di Pisa","submitted_at":"2010-11-02T01:29:42Z","abstract_excerpt":"Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed, or to provide abstraction of some behavior of the system resulting more compact models.  In this paper we enrich the stochastic process algebra Bio-PEPA, with the possibility of assigning delays to actions, yielding a new non-Markovian process algebra: Bio-PEPAd.   This is a conservative extension meaning that the original syntax of Bio-PEPA is retained and the delay specification which can now be associated with actions may be added to existing Bio-PEPA models. The semantic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.0493","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-18T04:37:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1lEExL5ZQPs1W75KG6G0aUCefPPb4ZMp1gWYTR4kgPC1DqYJ7YhRjoH/8BsbbG7wapUs8Z+vVezrBTGAAwGNCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T23:11:13.215409Z"},"content_sha256":"fc2326873a019167ab15da10956587214fe1041966cced03c695752b54696062","schema_version":"1.0","event_id":"sha256:fc2326873a019167ab15da10956587214fe1041966cced03c695752b54696062"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZOPDJZT4OKO6UPLYUA5WQ6JYCF/bundle.json","state_url":"https://pith.science/pith/ZOPDJZT4OKO6UPLYUA5WQ6JYCF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZOPDJZT4OKO6UPLYUA5WQ6JYCF/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-22T23:11:13Z","links":{"resolver":"https://pith.science/pith/ZOPDJZT4OKO6UPLYUA5WQ6JYCF","bundle":"https://pith.science/pith/ZOPDJZT4OKO6UPLYUA5WQ6JYCF/bundle.json","state":"https://pith.science/pith/ZOPDJZT4OKO6UPLYUA5WQ6JYCF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZOPDJZT4OKO6UPLYUA5WQ6JYCF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:ZOPDJZT4OKO6UPLYUA5WQ6JYCF","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":"d81cdc59adc8539f529396ab1168689e95f053a054ba633db20a8ca039f7ea21","cross_cats_sorted":["q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2010-11-02T01:29:42Z","title_canon_sha256":"a8362dd1060de5d1093b7fd903724ea6cffb8c07cb81493acf296291f13fa176"},"schema_version":"1.0","source":{"id":"1011.0493","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.0493","created_at":"2026-05-18T04:37:21Z"},{"alias_kind":"arxiv_version","alias_value":"1011.0493v1","created_at":"2026-05-18T04:37:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.0493","created_at":"2026-05-18T04:37:21Z"},{"alias_kind":"pith_short_12","alias_value":"ZOPDJZT4OKO6","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_16","alias_value":"ZOPDJZT4OKO6UPLY","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_8","alias_value":"ZOPDJZT4","created_at":"2026-05-18T12:26:18Z"}],"graph_snapshots":[{"event_id":"sha256:fc2326873a019167ab15da10956587214fe1041966cced03c695752b54696062","target":"graph","created_at":"2026-05-18T04:37:21Z","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":"Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed, or to provide abstraction of some behavior of the system resulting more compact models.  In this paper we enrich the stochastic process algebra Bio-PEPA, with the possibility of assigning delays to actions, yielding a new non-Markovian process algebra: Bio-PEPAd.   This is a conservative extension meaning that the original syntax of Bio-PEPA is retained and the delay specification which can now be associated with actions may be added to existing Bio-PEPA models. The semantic","authors_text":"Giulio Caravagna (Dipartimento di Informatica, ITALY.), Jane Hillston (Laboratory for Foundations of Computer Science, Scotland.), The University of Edinburgh, Universita di Pisa","cross_cats":["q-bio.QM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2010-11-02T01:29:42Z","title":"Modeling biological systems with delays in Bio-PEPA"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.0493","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:b2cd633da3e89456e1342b3fb88a07dbb11b8a0d46e705e01c61a6a9785f6b65","target":"record","created_at":"2026-05-18T04:37:21Z","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":"d81cdc59adc8539f529396ab1168689e95f053a054ba633db20a8ca039f7ea21","cross_cats_sorted":["q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2010-11-02T01:29:42Z","title_canon_sha256":"a8362dd1060de5d1093b7fd903724ea6cffb8c07cb81493acf296291f13fa176"},"schema_version":"1.0","source":{"id":"1011.0493","kind":"arxiv","version":1}},"canonical_sha256":"cb9e34e67c729dea3d78a03b68793811662e573a5d3c9a6225853b721f550339","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cb9e34e67c729dea3d78a03b68793811662e573a5d3c9a6225853b721f550339","first_computed_at":"2026-05-18T04:37:21.555015Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:37:21.555015Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ggi1eVx0j3zONl5JtMy32wtfWkoIPcT7RoURA9x0Dd4SENaqSFTH0Thfy8a6VlDpeaDZXZCI0nQRysnL4Q79CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:37:21.555735Z","signed_message":"canonical_sha256_bytes"},"source_id":"1011.0493","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b2cd633da3e89456e1342b3fb88a07dbb11b8a0d46e705e01c61a6a9785f6b65","sha256:fc2326873a019167ab15da10956587214fe1041966cced03c695752b54696062"],"state_sha256":"77d292abfab5f16d5d12305c8e89ecd3b9179bcfc850af4830b2a0f5dd2d28de"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IJLIQ0h904O3K09T1V3GDIzXtzLLY4kmJvzv8qYxA5iFjBsAaRrZ1yrbvdL5KV7MlyT4jW3Ya/DLnCTzVYfJAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T23:11:13.217390Z","bundle_sha256":"d61e67e30949e979c2d25620a5c5d82f6e700722f047686c9ca116dc7ae6ce79"}}