{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:WPUF2MNGFQYG2O72ZISR47PDG3","short_pith_number":"pith:WPUF2MNG","canonical_record":{"source":{"id":"1702.07951","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-02-25T21:35:56Z","cross_cats_sorted":[],"title_canon_sha256":"0448f65d412394cbaa1873b1502bfde050de71fa56fa6a2e340eda4ef76a44ef","abstract_canon_sha256":"58ea159d17958aa967691e0f0c7f070841ebf0221fd0af98bff834a66b4952c3"},"schema_version":"1.0"},"canonical_sha256":"b3e85d31a62c306d3bfaca251e7de336f18900ec6c0527202330141125b071b7","source":{"kind":"arxiv","id":"1702.07951","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.07951","created_at":"2026-05-18T00:49:56Z"},{"alias_kind":"arxiv_version","alias_value":"1702.07951v1","created_at":"2026-05-18T00:49:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.07951","created_at":"2026-05-18T00:49:56Z"},{"alias_kind":"pith_short_12","alias_value":"WPUF2MNGFQYG","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"WPUF2MNGFQYG2O72","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"WPUF2MNG","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:WPUF2MNGFQYG2O72ZISR47PDG3","target":"record","payload":{"canonical_record":{"source":{"id":"1702.07951","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-02-25T21:35:56Z","cross_cats_sorted":[],"title_canon_sha256":"0448f65d412394cbaa1873b1502bfde050de71fa56fa6a2e340eda4ef76a44ef","abstract_canon_sha256":"58ea159d17958aa967691e0f0c7f070841ebf0221fd0af98bff834a66b4952c3"},"schema_version":"1.0"},"canonical_sha256":"b3e85d31a62c306d3bfaca251e7de336f18900ec6c0527202330141125b071b7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:49:56.587817Z","signature_b64":"ER+1EB9S0K2RCzjr9EcJpl5C7aO+Rh4+658A+6CJvaTLRsFCH6Po1ATQZ10amVSx1iyt8W6ZXXZzG92IvuiEDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3e85d31a62c306d3bfaca251e7de336f18900ec6c0527202330141125b071b7","last_reissued_at":"2026-05-18T00:49:56.587140Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:49:56.587140Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.07951","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:49:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y7yHuXQ+6UjEifAeehE1Jdy0D6DNwJb5zDXmNOMYiygfeKaXbf0YG2zn+3Ccwl55xeBk6YhamTSwlVJTa8HzBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T22:24:48.484011Z"},"content_sha256":"bd61e33aa8f744d88bdd15b01491965e06b206e6a21e88f3c8d3260f2664c093","schema_version":"1.0","event_id":"sha256:bd61e33aa8f744d88bdd15b01491965e06b206e6a21e88f3c8d3260f2664c093"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:WPUF2MNGFQYG2O72ZISR47PDG3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"McFSM: Globally Taming Complex Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Florian Murr, Wolfgang Mauerer","submitted_at":"2017-02-25T21:35:56Z","abstract_excerpt":"Industrial computing devices, in particular cyber-physical, real-time and safety-critical systems, focus on reacting to external events and the need to cooperate with other devices to create a functional system. They are often implemented with languages that focus on a simple, local description of how a component reacts to external input data and stimuli. Despite the trend in modern software architectures to structure systems into largely independent components, the remaining interdependencies still create rich behavioural dynamics even for small systems. Standard and industrial programming ap"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.07951","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:49:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xFZYYyIRURnkrAuF5pUpYjBzY/SqlAYTZgTe2QGpM3daueLpQxADrRoJlVbS3/RFGE9JdGNjrOBJzDolOBdMCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T22:24:48.484359Z"},"content_sha256":"264a1ebfd9b3d85321e07e6707135793d10f8b96abcc8093cf396f7455a92c0d","schema_version":"1.0","event_id":"sha256:264a1ebfd9b3d85321e07e6707135793d10f8b96abcc8093cf396f7455a92c0d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WPUF2MNGFQYG2O72ZISR47PDG3/bundle.json","state_url":"https://pith.science/pith/WPUF2MNGFQYG2O72ZISR47PDG3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WPUF2MNGFQYG2O72ZISR47PDG3/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-01T22:24:48Z","links":{"resolver":"https://pith.science/pith/WPUF2MNGFQYG2O72ZISR47PDG3","bundle":"https://pith.science/pith/WPUF2MNGFQYG2O72ZISR47PDG3/bundle.json","state":"https://pith.science/pith/WPUF2MNGFQYG2O72ZISR47PDG3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WPUF2MNGFQYG2O72ZISR47PDG3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:WPUF2MNGFQYG2O72ZISR47PDG3","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":"58ea159d17958aa967691e0f0c7f070841ebf0221fd0af98bff834a66b4952c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-02-25T21:35:56Z","title_canon_sha256":"0448f65d412394cbaa1873b1502bfde050de71fa56fa6a2e340eda4ef76a44ef"},"schema_version":"1.0","source":{"id":"1702.07951","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.07951","created_at":"2026-05-18T00:49:56Z"},{"alias_kind":"arxiv_version","alias_value":"1702.07951v1","created_at":"2026-05-18T00:49:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.07951","created_at":"2026-05-18T00:49:56Z"},{"alias_kind":"pith_short_12","alias_value":"WPUF2MNGFQYG","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"WPUF2MNGFQYG2O72","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"WPUF2MNG","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:264a1ebfd9b3d85321e07e6707135793d10f8b96abcc8093cf396f7455a92c0d","target":"graph","created_at":"2026-05-18T00:49:56Z","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":"Industrial computing devices, in particular cyber-physical, real-time and safety-critical systems, focus on reacting to external events and the need to cooperate with other devices to create a functional system. They are often implemented with languages that focus on a simple, local description of how a component reacts to external input data and stimuli. Despite the trend in modern software architectures to structure systems into largely independent components, the remaining interdependencies still create rich behavioural dynamics even for small systems. Standard and industrial programming ap","authors_text":"Florian Murr, Wolfgang Mauerer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-02-25T21:35:56Z","title":"McFSM: Globally Taming Complex Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.07951","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:bd61e33aa8f744d88bdd15b01491965e06b206e6a21e88f3c8d3260f2664c093","target":"record","created_at":"2026-05-18T00:49:56Z","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":"58ea159d17958aa967691e0f0c7f070841ebf0221fd0af98bff834a66b4952c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-02-25T21:35:56Z","title_canon_sha256":"0448f65d412394cbaa1873b1502bfde050de71fa56fa6a2e340eda4ef76a44ef"},"schema_version":"1.0","source":{"id":"1702.07951","kind":"arxiv","version":1}},"canonical_sha256":"b3e85d31a62c306d3bfaca251e7de336f18900ec6c0527202330141125b071b7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b3e85d31a62c306d3bfaca251e7de336f18900ec6c0527202330141125b071b7","first_computed_at":"2026-05-18T00:49:56.587140Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:49:56.587140Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ER+1EB9S0K2RCzjr9EcJpl5C7aO+Rh4+658A+6CJvaTLRsFCH6Po1ATQZ10amVSx1iyt8W6ZXXZzG92IvuiEDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:49:56.587817Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.07951","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bd61e33aa8f744d88bdd15b01491965e06b206e6a21e88f3c8d3260f2664c093","sha256:264a1ebfd9b3d85321e07e6707135793d10f8b96abcc8093cf396f7455a92c0d"],"state_sha256":"82813b1648cfbe726c4e5ea308ed80d5bf9aaafcaa3000eba3efcc636043c700"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zUofLTTWIyUVcinOEDAvoF44Kc6fHviMSLOy3nhisUW62esh/HORR9h2NBni3dbQpSgV/4v8UHyGj6qnS9PXBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T22:24:48.486139Z","bundle_sha256":"8c86ad49794b89c60bd2a6349b90f0fb03b0c0b2d074cfe4280ccb69331c791c"}}