{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:656E5UEKPJJ3MMEL74QEL3KDRU","short_pith_number":"pith:656E5UEK","canonical_record":{"source":{"id":"2212.06781","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-12-13T17:56:44Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"b3e85e75cbbdebad7409fed1f4c287d926ed25728f0749da22ad7435b301b838","abstract_canon_sha256":"b093b9d2800b0dffc47d6098fe1fdc9df1d68342b2d5e53548a8cbe8ce40f943"},"schema_version":"1.0"},"canonical_sha256":"f77c4ed08a7a53b6308bff2045ed438d09c3d217ac74c3e0e045ceed19fafed3","source":{"kind":"arxiv","id":"2212.06781","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.06781","created_at":"2026-07-05T05:24:54Z"},{"alias_kind":"arxiv_version","alias_value":"2212.06781v1","created_at":"2026-07-05T05:24:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.06781","created_at":"2026-07-05T05:24:54Z"},{"alias_kind":"pith_short_12","alias_value":"656E5UEKPJJ3","created_at":"2026-07-05T05:24:54Z"},{"alias_kind":"pith_short_16","alias_value":"656E5UEKPJJ3MMEL","created_at":"2026-07-05T05:24:54Z"},{"alias_kind":"pith_short_8","alias_value":"656E5UEK","created_at":"2026-07-05T05:24:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:656E5UEKPJJ3MMEL74QEL3KDRU","target":"record","payload":{"canonical_record":{"source":{"id":"2212.06781","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-12-13T17:56:44Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"b3e85e75cbbdebad7409fed1f4c287d926ed25728f0749da22ad7435b301b838","abstract_canon_sha256":"b093b9d2800b0dffc47d6098fe1fdc9df1d68342b2d5e53548a8cbe8ce40f943"},"schema_version":"1.0"},"canonical_sha256":"f77c4ed08a7a53b6308bff2045ed438d09c3d217ac74c3e0e045ceed19fafed3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:24:54.527907Z","signature_b64":"Wuz6iPOVXfHM6+6BZicGjzPoh86Hl7O7Aa2hf4415UVOS8l3IFiYlMqWbIFpEeAt9MDGivye4Nt5Wg0LU1PqDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f77c4ed08a7a53b6308bff2045ed438d09c3d217ac74c3e0e045ceed19fafed3","last_reissued_at":"2026-07-05T05:24:54.527498Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:24:54.527498Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2212.06781","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-07-05T05:24:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DUGEZaCZu9aY8GoBL5Oc9WTiAlMWF01rm/Ai4KZlEXgeRcdzrlB7pdu3iv9ttsqYVpJPPtvdiDgxBB0Gggf7CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T10:47:09.736297Z"},"content_sha256":"3a56d9730d61972c9cb55047a7fc5eb014314c40b2d159290f4588cdabc4fc70","schema_version":"1.0","event_id":"sha256:3a56d9730d61972c9cb55047a7fc5eb014314c40b2d159290f4588cdabc4fc70"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:656E5UEKPJJ3MMEL74QEL3KDRU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AR"],"primary_cat":"cs.LO","authors_text":"Lars Michael Kristensen, Shujun Zhang, Vegard Steinsland","submitted_at":"2022-12-13T17:56:44Z","abstract_excerpt":"We apply Coloured Petri Nets (CPNs) and the CPN Tools to develop a formal model of an embedded system consisting of a power converter and an associated controller. Matlab/Simulink is the de-facto tool for embedded control and system design, but it relies on informal semantics and has limited support for transparent and integrated specification and validation of both the power converter electronics, controller (hardware), and the control logic (software). The contribution of this paper is to develop a timed hierarchical CPN model that mitigates the shortcomings of Simulink by relying on a Petri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.06781","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2212.06781/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T05:24:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qr+egIORjeGAymBJOS0jRvbpMhDwcIyxhtWGjK2D0H83ruIr3b8TOcXjKbXUJdyKqKmxa5z47hcuDKyKnUc2Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T10:47:09.736682Z"},"content_sha256":"c18236a510aced6e32cb72ab7e171d5029d1ad252aa97c0317121976452e99b6","schema_version":"1.0","event_id":"sha256:c18236a510aced6e32cb72ab7e171d5029d1ad252aa97c0317121976452e99b6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/656E5UEKPJJ3MMEL74QEL3KDRU/bundle.json","state_url":"https://pith.science/pith/656E5UEKPJJ3MMEL74QEL3KDRU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/656E5UEKPJJ3MMEL74QEL3KDRU/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-07-06T10:47:09Z","links":{"resolver":"https://pith.science/pith/656E5UEKPJJ3MMEL74QEL3KDRU","bundle":"https://pith.science/pith/656E5UEKPJJ3MMEL74QEL3KDRU/bundle.json","state":"https://pith.science/pith/656E5UEKPJJ3MMEL74QEL3KDRU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/656E5UEKPJJ3MMEL74QEL3KDRU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:656E5UEKPJJ3MMEL74QEL3KDRU","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":"b093b9d2800b0dffc47d6098fe1fdc9df1d68342b2d5e53548a8cbe8ce40f943","cross_cats_sorted":["cs.AR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-12-13T17:56:44Z","title_canon_sha256":"b3e85e75cbbdebad7409fed1f4c287d926ed25728f0749da22ad7435b301b838"},"schema_version":"1.0","source":{"id":"2212.06781","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.06781","created_at":"2026-07-05T05:24:54Z"},{"alias_kind":"arxiv_version","alias_value":"2212.06781v1","created_at":"2026-07-05T05:24:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.06781","created_at":"2026-07-05T05:24:54Z"},{"alias_kind":"pith_short_12","alias_value":"656E5UEKPJJ3","created_at":"2026-07-05T05:24:54Z"},{"alias_kind":"pith_short_16","alias_value":"656E5UEKPJJ3MMEL","created_at":"2026-07-05T05:24:54Z"},{"alias_kind":"pith_short_8","alias_value":"656E5UEK","created_at":"2026-07-05T05:24:54Z"}],"graph_snapshots":[{"event_id":"sha256:c18236a510aced6e32cb72ab7e171d5029d1ad252aa97c0317121976452e99b6","target":"graph","created_at":"2026-07-05T05:24:54Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2212.06781/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We apply Coloured Petri Nets (CPNs) and the CPN Tools to develop a formal model of an embedded system consisting of a power converter and an associated controller. Matlab/Simulink is the de-facto tool for embedded control and system design, but it relies on informal semantics and has limited support for transparent and integrated specification and validation of both the power converter electronics, controller (hardware), and the control logic (software). The contribution of this paper is to develop a timed hierarchical CPN model that mitigates the shortcomings of Simulink by relying on a Petri","authors_text":"Lars Michael Kristensen, Shujun Zhang, Vegard Steinsland","cross_cats":["cs.AR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-12-13T17:56:44Z","title":"Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.06781","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:3a56d9730d61972c9cb55047a7fc5eb014314c40b2d159290f4588cdabc4fc70","target":"record","created_at":"2026-07-05T05:24:54Z","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":"b093b9d2800b0dffc47d6098fe1fdc9df1d68342b2d5e53548a8cbe8ce40f943","cross_cats_sorted":["cs.AR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-12-13T17:56:44Z","title_canon_sha256":"b3e85e75cbbdebad7409fed1f4c287d926ed25728f0749da22ad7435b301b838"},"schema_version":"1.0","source":{"id":"2212.06781","kind":"arxiv","version":1}},"canonical_sha256":"f77c4ed08a7a53b6308bff2045ed438d09c3d217ac74c3e0e045ceed19fafed3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f77c4ed08a7a53b6308bff2045ed438d09c3d217ac74c3e0e045ceed19fafed3","first_computed_at":"2026-07-05T05:24:54.527498Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:24:54.527498Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Wuz6iPOVXfHM6+6BZicGjzPoh86Hl7O7Aa2hf4415UVOS8l3IFiYlMqWbIFpEeAt9MDGivye4Nt5Wg0LU1PqDg==","signature_status":"signed_v1","signed_at":"2026-07-05T05:24:54.527907Z","signed_message":"canonical_sha256_bytes"},"source_id":"2212.06781","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a56d9730d61972c9cb55047a7fc5eb014314c40b2d159290f4588cdabc4fc70","sha256:c18236a510aced6e32cb72ab7e171d5029d1ad252aa97c0317121976452e99b6"],"state_sha256":"6b7cc7cd2795b84f28b02215e056843743ff433cffbe3992bf3882434ee8d8af"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dlEtTG7vIMx13aHSMgVcKVJbq1aZoZguaa/WPDYJm1S5F4f00j2T+PKSxejJiK9JBHEeUTxxRtXyKD6L4kDYAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T10:47:09.738581Z","bundle_sha256":"2919264434001d370661272eb86c70e85b78f501851b30a27d7cda9926838d66"}}