{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:FOTPFPZTQE2V4HPSWOMDFUQ5PF","short_pith_number":"pith:FOTPFPZT","canonical_record":{"source":{"id":"1702.07478","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-24T07:07:24Z","cross_cats_sorted":[],"title_canon_sha256":"d4c4aabe8fc5b7a5bc2d0ffd4daf869ba3dedd2957e0c90d0be8e9ab78d32a09","abstract_canon_sha256":"1f43bb41c7b7d5d45d12d53ebc3b4d70b180082ecead9dffa8fe3d0e38c5ed1a"},"schema_version":"1.0"},"canonical_sha256":"2ba6f2bf3381355e1df2b39832d21d794c2f30a11920813506fd51930644dc51","source":{"kind":"arxiv","id":"1702.07478","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.07478","created_at":"2026-05-18T00:50:03Z"},{"alias_kind":"arxiv_version","alias_value":"1702.07478v1","created_at":"2026-05-18T00:50:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.07478","created_at":"2026-05-18T00:50:03Z"},{"alias_kind":"pith_short_12","alias_value":"FOTPFPZTQE2V","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FOTPFPZTQE2V4HPS","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FOTPFPZT","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:FOTPFPZTQE2V4HPSWOMDFUQ5PF","target":"record","payload":{"canonical_record":{"source":{"id":"1702.07478","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-24T07:07:24Z","cross_cats_sorted":[],"title_canon_sha256":"d4c4aabe8fc5b7a5bc2d0ffd4daf869ba3dedd2957e0c90d0be8e9ab78d32a09","abstract_canon_sha256":"1f43bb41c7b7d5d45d12d53ebc3b4d70b180082ecead9dffa8fe3d0e38c5ed1a"},"schema_version":"1.0"},"canonical_sha256":"2ba6f2bf3381355e1df2b39832d21d794c2f30a11920813506fd51930644dc51","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:03.212092Z","signature_b64":"TLcQO5qNPXOG6eSW0D45+KGwdFZ+hFknhZtqbsepcu4hby8oWNhsWTxpK1j2p4PC2GB9JW09b2Tx9MhRYQwgDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ba6f2bf3381355e1df2b39832d21d794c2f30a11920813506fd51930644dc51","last_reissued_at":"2026-05-18T00:50:03.211511Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:03.211511Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.07478","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-18T00:50:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8xEl9uIziBoxwEcT3gi/LwBa9LrCfnpB0xYEbshrU5885MmdiX+P4VcBw0N15/4lTdL29m5+kwnycCsbaW1lCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T12:21:39.518372Z"},"content_sha256":"1cf0a043b76b52d1bad33350340925555737bc6438f9bda821f584e46dfd49a5","schema_version":"1.0","event_id":"sha256:1cf0a043b76b52d1bad33350340925555737bc6438f9bda821f584e46dfd49a5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:FOTPFPZTQE2V4HPSWOMDFUQ5PF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Hermenegilda Maci\\`a, Igor V. Tarasyuk, Valent\\'in Valero","submitted_at":"2017-02-24T07:07:24Z","abstract_excerpt":"We propose an extension with immediate multiactions of discrete time stochastic Petri Box Calculus (dtsPBC), presented by I.V. Tarasyuk. The resulting algebra dtsiPBC is a discrete time analogue of stochastic Petri Box Calculus (sPBC) with immediate multiactions, designed by H. Maci\\`a, V. Valero et al. within a continuous time domain. The step operational semantics is constructed via labeled probabilistic transition systems. The denotational semantics is based on labeled discrete time stochastic Petri nets with immediate transitions. To evaluate performance, the corresponding semi-Markov chai"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.07478","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-18T00:50:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nLhDP/KKJbr1g0ARQwiczLVqknRzOMwuZBFj+FO0h6W1cG/ll4Lp+bSlQShXu5IWAQ9I+K4FnA7nnBCl1WQRDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T12:21:39.518723Z"},"content_sha256":"2b0fd0e80f2fd77151daf4cf0caccfdc5fac44fff34e26b734586f43b2eabca4","schema_version":"1.0","event_id":"sha256:2b0fd0e80f2fd77151daf4cf0caccfdc5fac44fff34e26b734586f43b2eabca4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FOTPFPZTQE2V4HPSWOMDFUQ5PF/bundle.json","state_url":"https://pith.science/pith/FOTPFPZTQE2V4HPSWOMDFUQ5PF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FOTPFPZTQE2V4HPSWOMDFUQ5PF/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-29T12:21:39Z","links":{"resolver":"https://pith.science/pith/FOTPFPZTQE2V4HPSWOMDFUQ5PF","bundle":"https://pith.science/pith/FOTPFPZTQE2V4HPSWOMDFUQ5PF/bundle.json","state":"https://pith.science/pith/FOTPFPZTQE2V4HPSWOMDFUQ5PF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FOTPFPZTQE2V4HPSWOMDFUQ5PF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:FOTPFPZTQE2V4HPSWOMDFUQ5PF","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":"1f43bb41c7b7d5d45d12d53ebc3b4d70b180082ecead9dffa8fe3d0e38c5ed1a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-24T07:07:24Z","title_canon_sha256":"d4c4aabe8fc5b7a5bc2d0ffd4daf869ba3dedd2957e0c90d0be8e9ab78d32a09"},"schema_version":"1.0","source":{"id":"1702.07478","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.07478","created_at":"2026-05-18T00:50:03Z"},{"alias_kind":"arxiv_version","alias_value":"1702.07478v1","created_at":"2026-05-18T00:50:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.07478","created_at":"2026-05-18T00:50:03Z"},{"alias_kind":"pith_short_12","alias_value":"FOTPFPZTQE2V","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FOTPFPZTQE2V4HPS","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FOTPFPZT","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:2b0fd0e80f2fd77151daf4cf0caccfdc5fac44fff34e26b734586f43b2eabca4","target":"graph","created_at":"2026-05-18T00:50:03Z","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 propose an extension with immediate multiactions of discrete time stochastic Petri Box Calculus (dtsPBC), presented by I.V. Tarasyuk. The resulting algebra dtsiPBC is a discrete time analogue of stochastic Petri Box Calculus (sPBC) with immediate multiactions, designed by H. Maci\\`a, V. Valero et al. within a continuous time domain. The step operational semantics is constructed via labeled probabilistic transition systems. The denotational semantics is based on labeled discrete time stochastic Petri nets with immediate transitions. To evaluate performance, the corresponding semi-Markov chai","authors_text":"Hermenegilda Maci\\`a, Igor V. Tarasyuk, Valent\\'in Valero","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-24T07:07:24Z","title":"Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.07478","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:1cf0a043b76b52d1bad33350340925555737bc6438f9bda821f584e46dfd49a5","target":"record","created_at":"2026-05-18T00:50:03Z","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":"1f43bb41c7b7d5d45d12d53ebc3b4d70b180082ecead9dffa8fe3d0e38c5ed1a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-24T07:07:24Z","title_canon_sha256":"d4c4aabe8fc5b7a5bc2d0ffd4daf869ba3dedd2957e0c90d0be8e9ab78d32a09"},"schema_version":"1.0","source":{"id":"1702.07478","kind":"arxiv","version":1}},"canonical_sha256":"2ba6f2bf3381355e1df2b39832d21d794c2f30a11920813506fd51930644dc51","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ba6f2bf3381355e1df2b39832d21d794c2f30a11920813506fd51930644dc51","first_computed_at":"2026-05-18T00:50:03.211511Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:03.211511Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TLcQO5qNPXOG6eSW0D45+KGwdFZ+hFknhZtqbsepcu4hby8oWNhsWTxpK1j2p4PC2GB9JW09b2Tx9MhRYQwgDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:03.212092Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.07478","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1cf0a043b76b52d1bad33350340925555737bc6438f9bda821f584e46dfd49a5","sha256:2b0fd0e80f2fd77151daf4cf0caccfdc5fac44fff34e26b734586f43b2eabca4"],"state_sha256":"06b80b622e48245ff26caf7b2bae45b52f8c1aa9b3cb66ed71e2ece3dad672ed"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FgWOdbRSH1K2QSR6J4hnjpNPq7XYF/uuaxUiKBIwS/noa2vBiAfa4CeD1QYrfV41ufkYkcfPwOiDctCxHJluAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T12:21:39.520663Z","bundle_sha256":"9784968d3cb44743ee145e7b29ed2cd116a75a1a2736041ae8a96a4450f662a3"}}