{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:IOGYHLGCBZEWRQYRFLNN4I44DL","short_pith_number":"pith:IOGYHLGC","canonical_record":{"source":{"id":"1309.1613","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.PF","submitted_at":"2013-09-06T11:48:02Z","cross_cats_sorted":[],"title_canon_sha256":"d073cfb715189ef11b9f774dfcd13d94cbd4fae4a797178a300f4b91ea7c5f25","abstract_canon_sha256":"0cd21065f6faa975de755d1daaf6a185e6c0019dfc2f56584d60f791acd32916"},"schema_version":"1.0"},"canonical_sha256":"438d83acc20e4968c3112adade239c1ac429d28615ddb83943268e5413a9a0e1","source":{"kind":"arxiv","id":"1309.1613","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.1613","created_at":"2026-05-18T03:13:59Z"},{"alias_kind":"arxiv_version","alias_value":"1309.1613v1","created_at":"2026-05-18T03:13:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.1613","created_at":"2026-05-18T03:13:59Z"},{"alias_kind":"pith_short_12","alias_value":"IOGYHLGCBZEW","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"IOGYHLGCBZEWRQYR","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"IOGYHLGC","created_at":"2026-05-18T12:27:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:IOGYHLGCBZEWRQYRFLNN4I44DL","target":"record","payload":{"canonical_record":{"source":{"id":"1309.1613","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.PF","submitted_at":"2013-09-06T11:48:02Z","cross_cats_sorted":[],"title_canon_sha256":"d073cfb715189ef11b9f774dfcd13d94cbd4fae4a797178a300f4b91ea7c5f25","abstract_canon_sha256":"0cd21065f6faa975de755d1daaf6a185e6c0019dfc2f56584d60f791acd32916"},"schema_version":"1.0"},"canonical_sha256":"438d83acc20e4968c3112adade239c1ac429d28615ddb83943268e5413a9a0e1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:13:59.051122Z","signature_b64":"qvAm2ojsHTP9eejUXAy3f0i+oiB9P4uimFdZ3qzx1DRdrVswJMhav61AGMq+0UBlVtc7BMNX1m9tBUONqRshBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"438d83acc20e4968c3112adade239c1ac429d28615ddb83943268e5413a9a0e1","last_reissued_at":"2026-05-18T03:13:59.050286Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:13:59.050286Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.1613","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-18T03:13:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GMkXvGlN3Qdcocj9YNuQdoFJDz40XdXZDCdK8jfinCUIqL7hWxYYWKQw97JnJSeQ1VYKj2aLHqWuNr1JoO2BCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T03:40:01.613547Z"},"content_sha256":"30742c2f040476dff4d65957ec9b7cdd2c0f77f1cc28037e6ff9f8196b22d9fd","schema_version":"1.0","event_id":"sha256:30742c2f040476dff4d65957ec9b7cdd2c0f77f1cc28037e6ff9f8196b22d9fd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:IOGYHLGCBZEWRQYRFLNN4I44DL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Aggregation Technique For Large-Scale PEPA Models With Non-Uniform Populations","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":[],"primary_cat":"cs.PF","authors_text":"Alireza Pourranjbar, Jane Hillston","submitted_at":"2013-09-06T11:48:02Z","abstract_excerpt":"Performance analysis based on modelling consists of two major steps: model construction and model analysis. Formal modelling techniques significantly aid model construction but can exacerbate model analysis. In particular, here we consider the analysis of large-scale systems which consist of one or more entities replicated many times to form large populations. The replication of entities in such models can cause their state spaces to grow exponentially to the extent that their exact stochastic analysis becomes computationally expensive or even infeasible.\n  In this paper, we propose a new appr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.1613","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-18T03:13:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"237Vk3p97Uodcet1PcjWUK05z6XZBtOb18clm3ue+vDNENripjCgIjMo4yMnzONmfGRdGI9l3C4wJR3k5ASAAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T03:40:01.613897Z"},"content_sha256":"e66bd93ae48d922c15f77917b08c06c8a21218ad27049fac57287ad4552c3e71","schema_version":"1.0","event_id":"sha256:e66bd93ae48d922c15f77917b08c06c8a21218ad27049fac57287ad4552c3e71"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IOGYHLGCBZEWRQYRFLNN4I44DL/bundle.json","state_url":"https://pith.science/pith/IOGYHLGCBZEWRQYRFLNN4I44DL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IOGYHLGCBZEWRQYRFLNN4I44DL/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-31T03:40:01Z","links":{"resolver":"https://pith.science/pith/IOGYHLGCBZEWRQYRFLNN4I44DL","bundle":"https://pith.science/pith/IOGYHLGCBZEWRQYRFLNN4I44DL/bundle.json","state":"https://pith.science/pith/IOGYHLGCBZEWRQYRFLNN4I44DL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IOGYHLGCBZEWRQYRFLNN4I44DL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:IOGYHLGCBZEWRQYRFLNN4I44DL","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":"0cd21065f6faa975de755d1daaf6a185e6c0019dfc2f56584d60f791acd32916","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.PF","submitted_at":"2013-09-06T11:48:02Z","title_canon_sha256":"d073cfb715189ef11b9f774dfcd13d94cbd4fae4a797178a300f4b91ea7c5f25"},"schema_version":"1.0","source":{"id":"1309.1613","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.1613","created_at":"2026-05-18T03:13:59Z"},{"alias_kind":"arxiv_version","alias_value":"1309.1613v1","created_at":"2026-05-18T03:13:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.1613","created_at":"2026-05-18T03:13:59Z"},{"alias_kind":"pith_short_12","alias_value":"IOGYHLGCBZEW","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"IOGYHLGCBZEWRQYR","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"IOGYHLGC","created_at":"2026-05-18T12:27:46Z"}],"graph_snapshots":[{"event_id":"sha256:e66bd93ae48d922c15f77917b08c06c8a21218ad27049fac57287ad4552c3e71","target":"graph","created_at":"2026-05-18T03:13:59Z","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":"Performance analysis based on modelling consists of two major steps: model construction and model analysis. Formal modelling techniques significantly aid model construction but can exacerbate model analysis. In particular, here we consider the analysis of large-scale systems which consist of one or more entities replicated many times to form large populations. The replication of entities in such models can cause their state spaces to grow exponentially to the extent that their exact stochastic analysis becomes computationally expensive or even infeasible.\n  In this paper, we propose a new appr","authors_text":"Alireza Pourranjbar, Jane Hillston","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.PF","submitted_at":"2013-09-06T11:48:02Z","title":"An Aggregation Technique For Large-Scale PEPA Models With Non-Uniform Populations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.1613","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:30742c2f040476dff4d65957ec9b7cdd2c0f77f1cc28037e6ff9f8196b22d9fd","target":"record","created_at":"2026-05-18T03:13:59Z","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":"0cd21065f6faa975de755d1daaf6a185e6c0019dfc2f56584d60f791acd32916","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.PF","submitted_at":"2013-09-06T11:48:02Z","title_canon_sha256":"d073cfb715189ef11b9f774dfcd13d94cbd4fae4a797178a300f4b91ea7c5f25"},"schema_version":"1.0","source":{"id":"1309.1613","kind":"arxiv","version":1}},"canonical_sha256":"438d83acc20e4968c3112adade239c1ac429d28615ddb83943268e5413a9a0e1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"438d83acc20e4968c3112adade239c1ac429d28615ddb83943268e5413a9a0e1","first_computed_at":"2026-05-18T03:13:59.050286Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:13:59.050286Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qvAm2ojsHTP9eejUXAy3f0i+oiB9P4uimFdZ3qzx1DRdrVswJMhav61AGMq+0UBlVtc7BMNX1m9tBUONqRshBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:13:59.051122Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.1613","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:30742c2f040476dff4d65957ec9b7cdd2c0f77f1cc28037e6ff9f8196b22d9fd","sha256:e66bd93ae48d922c15f77917b08c06c8a21218ad27049fac57287ad4552c3e71"],"state_sha256":"1cf34b16442860220cbd29b5b957fd5b02b602149d901e028f381f5e90084dab"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X5ujm9lLzdbZW/002O/ZEDBN1AD8g5IZOafUzfjdX59JzJ/ekpst0wwoxjf6w7+bMYeprfWTaknYTBfdb//+BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T03:40:01.615867Z","bundle_sha256":"8c03650ef690df702aa41436f8188ae1703b3e07af64a52bb09e1bcc79d3f477"}}