{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:N2SP3OTHA37Z3Y4S6TVJ2ODKB2","short_pith_number":"pith:N2SP3OTH","canonical_record":{"source":{"id":"1703.08956","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-27T07:14:14Z","cross_cats_sorted":[],"title_canon_sha256":"4065fcd5d3c05f4f8b43ba9f6b70740a6aa458e94bc952b106042affd8ad0e24","abstract_canon_sha256":"e29d13aa0fb0803f3c4820d6e6f089afdfdaac29cef224048ab7df25b2174d63"},"schema_version":"1.0"},"canonical_sha256":"6ea4fdba6706ff9de392f4ea9d386a0ebe3bfc2889742a93ff19a75061d14386","source":{"kind":"arxiv","id":"1703.08956","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.08956","created_at":"2026-05-17T23:51:06Z"},{"alias_kind":"arxiv_version","alias_value":"1703.08956v2","created_at":"2026-05-17T23:51:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08956","created_at":"2026-05-17T23:51:06Z"},{"alias_kind":"pith_short_12","alias_value":"N2SP3OTHA37Z","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"N2SP3OTHA37Z3Y4S","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"N2SP3OTH","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:N2SP3OTHA37Z3Y4S6TVJ2ODKB2","target":"record","payload":{"canonical_record":{"source":{"id":"1703.08956","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-27T07:14:14Z","cross_cats_sorted":[],"title_canon_sha256":"4065fcd5d3c05f4f8b43ba9f6b70740a6aa458e94bc952b106042affd8ad0e24","abstract_canon_sha256":"e29d13aa0fb0803f3c4820d6e6f089afdfdaac29cef224048ab7df25b2174d63"},"schema_version":"1.0"},"canonical_sha256":"6ea4fdba6706ff9de392f4ea9d386a0ebe3bfc2889742a93ff19a75061d14386","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:06.300855Z","signature_b64":"Ou09sCY1RDREDoi03pp9gblh0wnvlJwXB5pmhfYlsGQ/6JOL4/OoSovdN5J44hivP6Mp2TicrP8PSfehglS0CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6ea4fdba6706ff9de392f4ea9d386a0ebe3bfc2889742a93ff19a75061d14386","last_reissued_at":"2026-05-17T23:51:06.300273Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:06.300273Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.08956","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-17T23:51:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Yop4mHbms47bdRdDDF4uO15eY2aUdWP0p/WiOfRENr8VIPNVAqoHhRmS2K7Z8ZMgorZOFSsbMCht3C4XX7gqCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T17:25:43.499396Z"},"content_sha256":"c75bb322641aa14460a2e70a8f9c8974bb5302f0c0083d0b66f66436c9d32d1f","schema_version":"1.0","event_id":"sha256:c75bb322641aa14460a2e70a8f9c8974bb5302f0c0083d0b66f66436c9d32d1f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:N2SP3OTHA37Z3Y4S6TVJ2ODKB2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Trace Expressiveness of Timed and Probabilistic Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Mark Reynolds, Tim French, Valentin Bura","submitted_at":"2017-03-27T07:14:14Z","abstract_excerpt":"Automata expressiveness is an essential feature in understanding which of the formalisms available should be chosen for modelling a particular problem. Probabilistic and stochastic automata are suitable for modelling systems exhibiting probabilistic behavior and their expressiveness has been studied relative to non-probabilistic transition systems and Markov chains. In this paper, we consider previous formalisms of Timed, Probabilistic and Stochastic Timed Automata, we present our new model of Timed Automata with Polynomial Delay, we introduce a measure of expressiveness for automata we call t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.08956","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-17T23:51:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tnhLe1xA89Y7f/lChAPr9K74H8WO+aUbJ7ZEdzGvtZ4BYbdb7Q8Ly2012qGUaQKGSdBfpCaoRfxJCLHdD6L8BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T17:25:43.499789Z"},"content_sha256":"720da6d7051c164aa1f37858db241f7934860d0e8617d025a5892b0e88049979","schema_version":"1.0","event_id":"sha256:720da6d7051c164aa1f37858db241f7934860d0e8617d025a5892b0e88049979"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N2SP3OTHA37Z3Y4S6TVJ2ODKB2/bundle.json","state_url":"https://pith.science/pith/N2SP3OTHA37Z3Y4S6TVJ2ODKB2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N2SP3OTHA37Z3Y4S6TVJ2ODKB2/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-02T17:25:43Z","links":{"resolver":"https://pith.science/pith/N2SP3OTHA37Z3Y4S6TVJ2ODKB2","bundle":"https://pith.science/pith/N2SP3OTHA37Z3Y4S6TVJ2ODKB2/bundle.json","state":"https://pith.science/pith/N2SP3OTHA37Z3Y4S6TVJ2ODKB2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N2SP3OTHA37Z3Y4S6TVJ2ODKB2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:N2SP3OTHA37Z3Y4S6TVJ2ODKB2","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":"e29d13aa0fb0803f3c4820d6e6f089afdfdaac29cef224048ab7df25b2174d63","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-27T07:14:14Z","title_canon_sha256":"4065fcd5d3c05f4f8b43ba9f6b70740a6aa458e94bc952b106042affd8ad0e24"},"schema_version":"1.0","source":{"id":"1703.08956","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.08956","created_at":"2026-05-17T23:51:06Z"},{"alias_kind":"arxiv_version","alias_value":"1703.08956v2","created_at":"2026-05-17T23:51:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08956","created_at":"2026-05-17T23:51:06Z"},{"alias_kind":"pith_short_12","alias_value":"N2SP3OTHA37Z","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"N2SP3OTHA37Z3Y4S","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"N2SP3OTH","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:720da6d7051c164aa1f37858db241f7934860d0e8617d025a5892b0e88049979","target":"graph","created_at":"2026-05-17T23:51:06Z","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":"Automata expressiveness is an essential feature in understanding which of the formalisms available should be chosen for modelling a particular problem. Probabilistic and stochastic automata are suitable for modelling systems exhibiting probabilistic behavior and their expressiveness has been studied relative to non-probabilistic transition systems and Markov chains. In this paper, we consider previous formalisms of Timed, Probabilistic and Stochastic Timed Automata, we present our new model of Timed Automata with Polynomial Delay, we introduce a measure of expressiveness for automata we call t","authors_text":"Mark Reynolds, Tim French, Valentin Bura","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-27T07:14:14Z","title":"Trace Expressiveness of Timed and Probabilistic Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.08956","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:c75bb322641aa14460a2e70a8f9c8974bb5302f0c0083d0b66f66436c9d32d1f","target":"record","created_at":"2026-05-17T23:51:06Z","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":"e29d13aa0fb0803f3c4820d6e6f089afdfdaac29cef224048ab7df25b2174d63","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-27T07:14:14Z","title_canon_sha256":"4065fcd5d3c05f4f8b43ba9f6b70740a6aa458e94bc952b106042affd8ad0e24"},"schema_version":"1.0","source":{"id":"1703.08956","kind":"arxiv","version":2}},"canonical_sha256":"6ea4fdba6706ff9de392f4ea9d386a0ebe3bfc2889742a93ff19a75061d14386","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6ea4fdba6706ff9de392f4ea9d386a0ebe3bfc2889742a93ff19a75061d14386","first_computed_at":"2026-05-17T23:51:06.300273Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:06.300273Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ou09sCY1RDREDoi03pp9gblh0wnvlJwXB5pmhfYlsGQ/6JOL4/OoSovdN5J44hivP6Mp2TicrP8PSfehglS0CA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:06.300855Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.08956","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c75bb322641aa14460a2e70a8f9c8974bb5302f0c0083d0b66f66436c9d32d1f","sha256:720da6d7051c164aa1f37858db241f7934860d0e8617d025a5892b0e88049979"],"state_sha256":"b1b5392326acfdbf6281c9ed56e4a6195683d8eaa20ea1656c6036ae55625320"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"feUu23s1lhkIMaQLlxyG6OxCSxHxcQK9uwclANUi4K10WiPwQ1kN4+n7SSDPomsgrRFXESm+gdy53LU+DdnKDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T17:25:43.501906Z","bundle_sha256":"3ea1f06d4a57e4c83ebafd171a090cf5c4423ffc74da43bb366b6fc5fee69a0b"}}