{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:VTYBMMVGUM752M7FARVMEXXNMI","short_pith_number":"pith:VTYBMMVG","canonical_record":{"source":{"id":"1710.03168","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-10-09T16:11:45Z","cross_cats_sorted":[],"title_canon_sha256":"4d8f389773a1fc11856f71d56367eba92121a371c59f1f965fc76907b577b8ed","abstract_canon_sha256":"40de110c357ac6b0a8c758984578257dbc9db783e012021fb82f3621af665c31"},"schema_version":"1.0"},"canonical_sha256":"acf01632a6a33fdd33e5046ac25eed6226c4ff4fed866541cebd92170bb297dc","source":{"kind":"arxiv","id":"1710.03168","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.03168","created_at":"2026-05-18T00:33:26Z"},{"alias_kind":"arxiv_version","alias_value":"1710.03168v1","created_at":"2026-05-18T00:33:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.03168","created_at":"2026-05-18T00:33:26Z"},{"alias_kind":"pith_short_12","alias_value":"VTYBMMVGUM75","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"VTYBMMVGUM752M7F","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"VTYBMMVG","created_at":"2026-05-18T12:31:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:VTYBMMVGUM752M7FARVMEXXNMI","target":"record","payload":{"canonical_record":{"source":{"id":"1710.03168","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-10-09T16:11:45Z","cross_cats_sorted":[],"title_canon_sha256":"4d8f389773a1fc11856f71d56367eba92121a371c59f1f965fc76907b577b8ed","abstract_canon_sha256":"40de110c357ac6b0a8c758984578257dbc9db783e012021fb82f3621af665c31"},"schema_version":"1.0"},"canonical_sha256":"acf01632a6a33fdd33e5046ac25eed6226c4ff4fed866541cebd92170bb297dc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:33:26.868358Z","signature_b64":"7VwGD0QemLQ8dqma/ufoKS80RNMQJQcCEXiRdBDcWr3BCohfcii+CCSr1XaqnMPm1GYTlPIHSMk9xlzOh7ELDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"acf01632a6a33fdd33e5046ac25eed6226c4ff4fed866541cebd92170bb297dc","last_reissued_at":"2026-05-18T00:33:26.867863Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:33:26.867863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.03168","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:33:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"29Z4MLVNkVHW53YU0N/GKG69/M/9Ec1uiIac018K/0JysuniFdMGUdB4TBE5guOTk2/Eu2INzptiIROkm3IkCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T01:14:27.542854Z"},"content_sha256":"7002910823f4c2c2f4e84ad0f457caa37ad052a402ae6c60874cb35728953a8c","schema_version":"1.0","event_id":"sha256:7002910823f4c2c2f4e84ad0f457caa37ad052a402ae6c60874cb35728953a8c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:VTYBMMVGUM752M7FARVMEXXNMI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Wiktor B. Daszczuk","submitted_at":"2017-10-09T16:11:45Z","abstract_excerpt":"Integrated Model of Distributed Systems is used for specification and verification of distributed systems. In the formalism, a system is modeled as a set of servers' states and agents' messages. The operation of a system is modeled as actions converting global system configuration (a set of states and messages) to a new configuration. The formalism is used in Dedan verification environment, in which specification and verification of distributed systems is performed. Equivalent Petri nets are used for structural analysis. For the graphical specification and simulation of distributed systems, Di"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.03168","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:33:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Vfw5i0DXsWhHwFHrg71iMsGKC8PqrrX+56yNqD1gEn+o/P0fFjvxREL5731LkY7rkrjMXFkAWiAd+t6jt+P2AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T01:14:27.543199Z"},"content_sha256":"8ddc932e64ac021788004200263f22c6c0436d1a955d5ffea254afb84738c4c9","schema_version":"1.0","event_id":"sha256:8ddc932e64ac021788004200263f22c6c0436d1a955d5ffea254afb84738c4c9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VTYBMMVGUM752M7FARVMEXXNMI/bundle.json","state_url":"https://pith.science/pith/VTYBMMVGUM752M7FARVMEXXNMI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VTYBMMVGUM752M7FARVMEXXNMI/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-02T01:14:27Z","links":{"resolver":"https://pith.science/pith/VTYBMMVGUM752M7FARVMEXXNMI","bundle":"https://pith.science/pith/VTYBMMVGUM752M7FARVMEXXNMI/bundle.json","state":"https://pith.science/pith/VTYBMMVGUM752M7FARVMEXXNMI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VTYBMMVGUM752M7FARVMEXXNMI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:VTYBMMVGUM752M7FARVMEXXNMI","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":"40de110c357ac6b0a8c758984578257dbc9db783e012021fb82f3621af665c31","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-10-09T16:11:45Z","title_canon_sha256":"4d8f389773a1fc11856f71d56367eba92121a371c59f1f965fc76907b577b8ed"},"schema_version":"1.0","source":{"id":"1710.03168","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.03168","created_at":"2026-05-18T00:33:26Z"},{"alias_kind":"arxiv_version","alias_value":"1710.03168v1","created_at":"2026-05-18T00:33:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.03168","created_at":"2026-05-18T00:33:26Z"},{"alias_kind":"pith_short_12","alias_value":"VTYBMMVGUM75","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"VTYBMMVGUM752M7F","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"VTYBMMVG","created_at":"2026-05-18T12:31:49Z"}],"graph_snapshots":[{"event_id":"sha256:8ddc932e64ac021788004200263f22c6c0436d1a955d5ffea254afb84738c4c9","target":"graph","created_at":"2026-05-18T00:33:26Z","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":"Integrated Model of Distributed Systems is used for specification and verification of distributed systems. In the formalism, a system is modeled as a set of servers' states and agents' messages. The operation of a system is modeled as actions converting global system configuration (a set of states and messages) to a new configuration. The formalism is used in Dedan verification environment, in which specification and verification of distributed systems is performed. Equivalent Petri nets are used for structural analysis. For the graphical specification and simulation of distributed systems, Di","authors_text":"Wiktor B. Daszczuk","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-10-09T16:11:45Z","title":"Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.03168","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:7002910823f4c2c2f4e84ad0f457caa37ad052a402ae6c60874cb35728953a8c","target":"record","created_at":"2026-05-18T00:33:26Z","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":"40de110c357ac6b0a8c758984578257dbc9db783e012021fb82f3621af665c31","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-10-09T16:11:45Z","title_canon_sha256":"4d8f389773a1fc11856f71d56367eba92121a371c59f1f965fc76907b577b8ed"},"schema_version":"1.0","source":{"id":"1710.03168","kind":"arxiv","version":1}},"canonical_sha256":"acf01632a6a33fdd33e5046ac25eed6226c4ff4fed866541cebd92170bb297dc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"acf01632a6a33fdd33e5046ac25eed6226c4ff4fed866541cebd92170bb297dc","first_computed_at":"2026-05-18T00:33:26.867863Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:33:26.867863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7VwGD0QemLQ8dqma/ufoKS80RNMQJQcCEXiRdBDcWr3BCohfcii+CCSr1XaqnMPm1GYTlPIHSMk9xlzOh7ELDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:33:26.868358Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.03168","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7002910823f4c2c2f4e84ad0f457caa37ad052a402ae6c60874cb35728953a8c","sha256:8ddc932e64ac021788004200263f22c6c0436d1a955d5ffea254afb84738c4c9"],"state_sha256":"eaa52dae753c98ff5f757df66ecb98d6fd58b6244bb900bd1e03ab0a0965777c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wAWPCzh3X2JW4CnpiMUh7WiackFu/4CWkQiLhs2CLR0xU0ICvlqByqaZrbDRG2jfTFCn4HRoD8Pw5BdeCdkiDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T01:14:27.545644Z","bundle_sha256":"f978f5f89933d6e324504a5222875f117539df63f06cf6d9e00b8588ecb9f1cb"}}