{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:QA6LKSYXLRFY2BCM73Z5HPLAMS","short_pith_number":"pith:QA6LKSYX","canonical_record":{"source":{"id":"1205.6664","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2012-05-30T13:19:14Z","cross_cats_sorted":[],"title_canon_sha256":"b29c90f3940319c0a3f82dc2d26890720e6ac3520a4933c2623990c871631c7c","abstract_canon_sha256":"09eb54f0b6a0860ec68ae807af84d24e3141c069becb63412faff82ac13d5729"},"schema_version":"1.0"},"canonical_sha256":"803cb54b175c4b8d044cfef3d3bd606497dbe32195be23b30cf35e6b2a833089","source":{"kind":"arxiv","id":"1205.6664","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.6664","created_at":"2026-05-18T03:54:38Z"},{"alias_kind":"arxiv_version","alias_value":"1205.6664v1","created_at":"2026-05-18T03:54:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.6664","created_at":"2026-05-18T03:54:38Z"},{"alias_kind":"pith_short_12","alias_value":"QA6LKSYXLRFY","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"QA6LKSYXLRFY2BCM","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"QA6LKSYX","created_at":"2026-05-18T12:27:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:QA6LKSYXLRFY2BCM73Z5HPLAMS","target":"record","payload":{"canonical_record":{"source":{"id":"1205.6664","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2012-05-30T13:19:14Z","cross_cats_sorted":[],"title_canon_sha256":"b29c90f3940319c0a3f82dc2d26890720e6ac3520a4933c2623990c871631c7c","abstract_canon_sha256":"09eb54f0b6a0860ec68ae807af84d24e3141c069becb63412faff82ac13d5729"},"schema_version":"1.0"},"canonical_sha256":"803cb54b175c4b8d044cfef3d3bd606497dbe32195be23b30cf35e6b2a833089","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:54:38.280237Z","signature_b64":"D0KFFakfjpbZWI5LqjFjMNtnvpM6a/jTtle+bSK74SpgdMBX6gGzlG7k1lhuEfeS7tvfw9m17dFUaOWgq3snAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"803cb54b175c4b8d044cfef3d3bd606497dbe32195be23b30cf35e6b2a833089","last_reissued_at":"2026-05-18T03:54:38.279538Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:54:38.279538Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1205.6664","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:54:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4+yGfHtrAZZ/FzQWe6RUB1iKSBk8JrXGv4RqJzROckyVwn+aA2E/cvPOFFwKFkgc4oz68sSqMFukHSTFxbywDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T00:10:11.950597Z"},"content_sha256":"4903c6e908213d767bdf79dd3211cd64c966e346f0e31a2351f5c471566dcf4c","schema_version":"1.0","event_id":"sha256:4903c6e908213d767bdf79dd3211cd64c966e346f0e31a2351f5c471566dcf4c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:QA6LKSYXLRFY2BCM73Z5HPLAMS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Ender Y\\\"uksel, Flemming Nielson, Hanne Riis Nielson, Heqing Huang, Huibiao Zhu","submitted_at":"2012-05-30T13:19:14Z","abstract_excerpt":"Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this technical report, we consider a specific Chinese Smart Grid implementation and try to address the verification problem for certain quantitative"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.6664","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:54:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B3nlGWyQr5oe4GmR0VCtNeo44+ypEmdHipU12/mujZfh8Hd0eW1Qck2Ifz0qH2ENEBUhWMCARkwTahKhGTJqDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T00:10:11.951263Z"},"content_sha256":"54628d228a3b56ba927d4f2489a98c7f2286d7d7896e7a1b8ed213373a4fa2bc","schema_version":"1.0","event_id":"sha256:54628d228a3b56ba927d4f2489a98c7f2286d7d7896e7a1b8ed213373a4fa2bc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS/bundle.json","state_url":"https://pith.science/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS/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-31T00:10:11Z","links":{"resolver":"https://pith.science/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS","bundle":"https://pith.science/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS/bundle.json","state":"https://pith.science/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:QA6LKSYXLRFY2BCM73Z5HPLAMS","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":"09eb54f0b6a0860ec68ae807af84d24e3141c069becb63412faff82ac13d5729","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2012-05-30T13:19:14Z","title_canon_sha256":"b29c90f3940319c0a3f82dc2d26890720e6ac3520a4933c2623990c871631c7c"},"schema_version":"1.0","source":{"id":"1205.6664","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.6664","created_at":"2026-05-18T03:54:38Z"},{"alias_kind":"arxiv_version","alias_value":"1205.6664v1","created_at":"2026-05-18T03:54:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.6664","created_at":"2026-05-18T03:54:38Z"},{"alias_kind":"pith_short_12","alias_value":"QA6LKSYXLRFY","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"QA6LKSYXLRFY2BCM","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"QA6LKSYX","created_at":"2026-05-18T12:27:18Z"}],"graph_snapshots":[{"event_id":"sha256:54628d228a3b56ba927d4f2489a98c7f2286d7d7896e7a1b8ed213373a4fa2bc","target":"graph","created_at":"2026-05-18T03:54:38Z","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":"Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this technical report, we consider a specific Chinese Smart Grid implementation and try to address the verification problem for certain quantitative","authors_text":"Ender Y\\\"uksel, Flemming Nielson, Hanne Riis Nielson, Heqing Huang, Huibiao Zhu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2012-05-30T13:19:14Z","title":"Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.6664","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:4903c6e908213d767bdf79dd3211cd64c966e346f0e31a2351f5c471566dcf4c","target":"record","created_at":"2026-05-18T03:54:38Z","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":"09eb54f0b6a0860ec68ae807af84d24e3141c069becb63412faff82ac13d5729","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2012-05-30T13:19:14Z","title_canon_sha256":"b29c90f3940319c0a3f82dc2d26890720e6ac3520a4933c2623990c871631c7c"},"schema_version":"1.0","source":{"id":"1205.6664","kind":"arxiv","version":1}},"canonical_sha256":"803cb54b175c4b8d044cfef3d3bd606497dbe32195be23b30cf35e6b2a833089","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"803cb54b175c4b8d044cfef3d3bd606497dbe32195be23b30cf35e6b2a833089","first_computed_at":"2026-05-18T03:54:38.279538Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:54:38.279538Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D0KFFakfjpbZWI5LqjFjMNtnvpM6a/jTtle+bSK74SpgdMBX6gGzlG7k1lhuEfeS7tvfw9m17dFUaOWgq3snAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:54:38.280237Z","signed_message":"canonical_sha256_bytes"},"source_id":"1205.6664","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4903c6e908213d767bdf79dd3211cd64c966e346f0e31a2351f5c471566dcf4c","sha256:54628d228a3b56ba927d4f2489a98c7f2286d7d7896e7a1b8ed213373a4fa2bc"],"state_sha256":"458b32dabfd9da740e0902a328416856da0fbac3b03514fa72f5e85a9a37e471"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C0GiR8PBjmJ2WHOanMEdjIGHLeHVg8jRGWUn3cLPgEJ6UG39HoP2nehaq6SPgM5qm4gU1Imvu7KITYcQ0XZOCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T00:10:11.954341Z","bundle_sha256":"0a7dc1f4ccbe115b8350140c88d82950d540a99c094164e8ae3071c7ab6d0f7e"}}