{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:2QC5V3K57KNAEUZBDVWV5WMSRA","short_pith_number":"pith:2QC5V3K5","canonical_record":{"source":{"id":"1608.05874","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-08-20T22:14:52Z","cross_cats_sorted":[],"title_canon_sha256":"78a181e949519bb7c4ce392af95a71034ecd3fb692e4fcfcf9b756d0f2ae9c97","abstract_canon_sha256":"5b137c40d086fb0d0af2823bde5da133ae7ba491253172d5f6a0213def6fc61a"},"schema_version":"1.0"},"canonical_sha256":"d405daed5dfa9a0253211d6d5ed9928818e54830f07dd129e0ae0edf8602c473","source":{"kind":"arxiv","id":"1608.05874","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.05874","created_at":"2026-05-18T00:52:58Z"},{"alias_kind":"arxiv_version","alias_value":"1608.05874v2","created_at":"2026-05-18T00:52:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.05874","created_at":"2026-05-18T00:52:58Z"},{"alias_kind":"pith_short_12","alias_value":"2QC5V3K57KNA","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"2QC5V3K57KNAEUZB","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"2QC5V3K5","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:2QC5V3K57KNAEUZBDVWV5WMSRA","target":"record","payload":{"canonical_record":{"source":{"id":"1608.05874","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-08-20T22:14:52Z","cross_cats_sorted":[],"title_canon_sha256":"78a181e949519bb7c4ce392af95a71034ecd3fb692e4fcfcf9b756d0f2ae9c97","abstract_canon_sha256":"5b137c40d086fb0d0af2823bde5da133ae7ba491253172d5f6a0213def6fc61a"},"schema_version":"1.0"},"canonical_sha256":"d405daed5dfa9a0253211d6d5ed9928818e54830f07dd129e0ae0edf8602c473","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:52:58.628294Z","signature_b64":"0yGZGEBf7nSDL/IwNLNwPgUiPkbgFj2PGerSG5VMNe9wxwNLNPAFBKLeblWE4h5nCERkS27p/APnSYtj5XA0BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d405daed5dfa9a0253211d6d5ed9928818e54830f07dd129e0ae0edf8602c473","last_reissued_at":"2026-05-18T00:52:58.627894Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:52:58.627894Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.05874","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-18T00:52:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bc7b2aNdaHLnx8AHoWq85qhQnandxUKj8+513LrCL1cktPQUQkx2Vlph/kjx0NUIunUL3AmZFF/aIXQKH88YCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T13:32:57.063796Z"},"content_sha256":"57796d9716d70c4cb0af326272a2decccaa9257982c61c40eac7541f66628bf0","schema_version":"1.0","event_id":"sha256:57796d9716d70c4cb0af326272a2decccaa9257982c61c40eac7541f66628bf0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:2QC5V3K57KNAEUZBDVWV5WMSRA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient non-anonymous composition operator for modeling complex dependable systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Felicita Di Giandomenico, Giulio Masetti, Silvano Chiaradonna","submitted_at":"2016-08-20T22:14:52Z","abstract_excerpt":"A new model composer is proposed to automatically generate non-anonymous model replicas in the context of performability and dependability evaluation. It is a state-sharing composer that extends the standard anonymous replication composer in order to share the state of a replica among a set of other specific replicas or among the eplica and another external model. This new composition operator aims to improve expressiveness and performance with respect to the standard anonymous replicator, namely the one adopted by the M{\\\"o}bius modeling framework."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.05874","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-18T00:52:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hcslshwr8LhvIkYbH8BBPYhNcR2tMBoHtNs7yYcLRCgCZ9RkEt+W1l8Vux+TnvkSyUmkrs2+6g2CYnbeZeI8Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T13:32:57.064887Z"},"content_sha256":"297ecdb69700087e7263d7213d94649f7fd17ea51b14827c51a8cd1e58223bb1","schema_version":"1.0","event_id":"sha256:297ecdb69700087e7263d7213d94649f7fd17ea51b14827c51a8cd1e58223bb1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2QC5V3K57KNAEUZBDVWV5WMSRA/bundle.json","state_url":"https://pith.science/pith/2QC5V3K57KNAEUZBDVWV5WMSRA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2QC5V3K57KNAEUZBDVWV5WMSRA/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-31T13:32:57Z","links":{"resolver":"https://pith.science/pith/2QC5V3K57KNAEUZBDVWV5WMSRA","bundle":"https://pith.science/pith/2QC5V3K57KNAEUZBDVWV5WMSRA/bundle.json","state":"https://pith.science/pith/2QC5V3K57KNAEUZBDVWV5WMSRA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2QC5V3K57KNAEUZBDVWV5WMSRA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:2QC5V3K57KNAEUZBDVWV5WMSRA","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":"5b137c40d086fb0d0af2823bde5da133ae7ba491253172d5f6a0213def6fc61a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-08-20T22:14:52Z","title_canon_sha256":"78a181e949519bb7c4ce392af95a71034ecd3fb692e4fcfcf9b756d0f2ae9c97"},"schema_version":"1.0","source":{"id":"1608.05874","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.05874","created_at":"2026-05-18T00:52:58Z"},{"alias_kind":"arxiv_version","alias_value":"1608.05874v2","created_at":"2026-05-18T00:52:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.05874","created_at":"2026-05-18T00:52:58Z"},{"alias_kind":"pith_short_12","alias_value":"2QC5V3K57KNA","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"2QC5V3K57KNAEUZB","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"2QC5V3K5","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:297ecdb69700087e7263d7213d94649f7fd17ea51b14827c51a8cd1e58223bb1","target":"graph","created_at":"2026-05-18T00:52:58Z","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":"A new model composer is proposed to automatically generate non-anonymous model replicas in the context of performability and dependability evaluation. It is a state-sharing composer that extends the standard anonymous replication composer in order to share the state of a replica among a set of other specific replicas or among the eplica and another external model. This new composition operator aims to improve expressiveness and performance with respect to the standard anonymous replicator, namely the one adopted by the M{\\\"o}bius modeling framework.","authors_text":"Felicita Di Giandomenico, Giulio Masetti, Silvano Chiaradonna","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-08-20T22:14:52Z","title":"Efficient non-anonymous composition operator for modeling complex dependable systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.05874","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:57796d9716d70c4cb0af326272a2decccaa9257982c61c40eac7541f66628bf0","target":"record","created_at":"2026-05-18T00:52:58Z","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":"5b137c40d086fb0d0af2823bde5da133ae7ba491253172d5f6a0213def6fc61a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-08-20T22:14:52Z","title_canon_sha256":"78a181e949519bb7c4ce392af95a71034ecd3fb692e4fcfcf9b756d0f2ae9c97"},"schema_version":"1.0","source":{"id":"1608.05874","kind":"arxiv","version":2}},"canonical_sha256":"d405daed5dfa9a0253211d6d5ed9928818e54830f07dd129e0ae0edf8602c473","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d405daed5dfa9a0253211d6d5ed9928818e54830f07dd129e0ae0edf8602c473","first_computed_at":"2026-05-18T00:52:58.627894Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:52:58.627894Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0yGZGEBf7nSDL/IwNLNwPgUiPkbgFj2PGerSG5VMNe9wxwNLNPAFBKLeblWE4h5nCERkS27p/APnSYtj5XA0BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:52:58.628294Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.05874","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:57796d9716d70c4cb0af326272a2decccaa9257982c61c40eac7541f66628bf0","sha256:297ecdb69700087e7263d7213d94649f7fd17ea51b14827c51a8cd1e58223bb1"],"state_sha256":"5cc6e42351257103baa52e3eba2238de453c5a454a1782a5c19b530e4199caa3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y1bzIPzw8UXlIzq/XzxPWmXiOKrMLKlC1gFs7kqHoUk3cmzKRqXFBEksskNuP5ONxgZJc4OyLkLi6fQgBPQhAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T13:32:57.068455Z","bundle_sha256":"0fa2a8e328d2215a5ff46046897f0e1a1f3a90d28e6954afeb3fa5701915178a"}}