{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:DJBOD2RECD7EJQS46GB5I2PHOG","short_pith_number":"pith:DJBOD2RE","canonical_record":{"source":{"id":"2509.10936","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2025-09-13T18:21:09Z","cross_cats_sorted":[],"title_canon_sha256":"14107b359cf87a596221ff613cfd3450ea90efc2a81bb89173cbc9702d01d798","abstract_canon_sha256":"343cb03e1be74e5f16525d3fd1e279d8534c92ae833ca76cff8432968e6a16fd"},"schema_version":"1.0"},"canonical_sha256":"1a42e1ea2410fe44c25cf183d469e77183e25255197230d507b9aebf5ee5c10b","source":{"kind":"arxiv","id":"2509.10936","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.10936","created_at":"2026-07-05T12:11:30Z"},{"alias_kind":"arxiv_version","alias_value":"2509.10936v1","created_at":"2026-07-05T12:11:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.10936","created_at":"2026-07-05T12:11:30Z"},{"alias_kind":"pith_short_12","alias_value":"DJBOD2RECD7E","created_at":"2026-07-05T12:11:30Z"},{"alias_kind":"pith_short_16","alias_value":"DJBOD2RECD7EJQS4","created_at":"2026-07-05T12:11:30Z"},{"alias_kind":"pith_short_8","alias_value":"DJBOD2RE","created_at":"2026-07-05T12:11:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:DJBOD2RECD7EJQS46GB5I2PHOG","target":"record","payload":{"canonical_record":{"source":{"id":"2509.10936","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2025-09-13T18:21:09Z","cross_cats_sorted":[],"title_canon_sha256":"14107b359cf87a596221ff613cfd3450ea90efc2a81bb89173cbc9702d01d798","abstract_canon_sha256":"343cb03e1be74e5f16525d3fd1e279d8534c92ae833ca76cff8432968e6a16fd"},"schema_version":"1.0"},"canonical_sha256":"1a42e1ea2410fe44c25cf183d469e77183e25255197230d507b9aebf5ee5c10b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:11:30.705007Z","signature_b64":"upzkG6qRhMxNwkCodx3/COqoHmCNnW16gN2gG2MDzZksGUaimUnTYoMSlYsEhQuZKvjsrgD7ngBwcNQDtNNLAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1a42e1ea2410fe44c25cf183d469e77183e25255197230d507b9aebf5ee5c10b","last_reissued_at":"2026-07-05T12:11:30.704573Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:11:30.704573Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.10936","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-05T12:11:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8cQdYEAd2wlOuZHpJSMw3MdCIkXGQhnzkqoTAig3Yx3KVIZj6wNaG20KSNN830VV0dKfc58/svUfG4du566VCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T08:47:55.116482Z"},"content_sha256":"ca9852a02b816373c842dc95f43442fa15a1c2a38369a2fa93f164b51dc4335e","schema_version":"1.0","event_id":"sha256:ca9852a02b816373c842dc95f43442fa15a1c2a38369a2fa93f164b51dc4335e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:DJBOD2RECD7EJQS46GB5I2PHOG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Framework for Formal Modelling of Metaverse Applications Using Hierarchical Colored Petri Nets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.ET","authors_text":"Jorn Altmann, Maryam Amin, Umara Noor, Zahid Rashid","submitted_at":"2025-09-13T18:21:09Z","abstract_excerpt":"The Metaverse emerges by integrating highly-distributed, complex, and interconnecting technologies. These technologies need to be formally verified and evaluated through formal modelling before executing them in real-world applications, in order to avoid negative impacts on the real world due to failure of the Metaverse technologies. However, the formal modelling of Metaverse technologies is challenging due to its highly complex nature. Therefore, a comprehensive formal verification of the Metaverse technologies is needed for its realization in multiple potential areas. In this study, a framew"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.10936","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/2509.10936/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-05T12:11:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S0N7mTvDZwsRS3a5zsD9/KhbA2pxteTZMgHxBOj6P3R39HqM6YTm0W4+bPa+Ira8fQNPqSfoIh14HqoKnB2aAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T08:47:55.117418Z"},"content_sha256":"8590d405ce72e28b6011fa5dd9f7ef8b46eaa345d3e2e16b4008326e01f36ff3","schema_version":"1.0","event_id":"sha256:8590d405ce72e28b6011fa5dd9f7ef8b46eaa345d3e2e16b4008326e01f36ff3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DJBOD2RECD7EJQS46GB5I2PHOG/bundle.json","state_url":"https://pith.science/pith/DJBOD2RECD7EJQS46GB5I2PHOG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DJBOD2RECD7EJQS46GB5I2PHOG/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-08-06T08:47:55Z","links":{"resolver":"https://pith.science/pith/DJBOD2RECD7EJQS46GB5I2PHOG","bundle":"https://pith.science/pith/DJBOD2RECD7EJQS46GB5I2PHOG/bundle.json","state":"https://pith.science/pith/DJBOD2RECD7EJQS46GB5I2PHOG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DJBOD2RECD7EJQS46GB5I2PHOG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:DJBOD2RECD7EJQS46GB5I2PHOG","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":"343cb03e1be74e5f16525d3fd1e279d8534c92ae833ca76cff8432968e6a16fd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2025-09-13T18:21:09Z","title_canon_sha256":"14107b359cf87a596221ff613cfd3450ea90efc2a81bb89173cbc9702d01d798"},"schema_version":"1.0","source":{"id":"2509.10936","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.10936","created_at":"2026-07-05T12:11:30Z"},{"alias_kind":"arxiv_version","alias_value":"2509.10936v1","created_at":"2026-07-05T12:11:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.10936","created_at":"2026-07-05T12:11:30Z"},{"alias_kind":"pith_short_12","alias_value":"DJBOD2RECD7E","created_at":"2026-07-05T12:11:30Z"},{"alias_kind":"pith_short_16","alias_value":"DJBOD2RECD7EJQS4","created_at":"2026-07-05T12:11:30Z"},{"alias_kind":"pith_short_8","alias_value":"DJBOD2RE","created_at":"2026-07-05T12:11:30Z"}],"graph_snapshots":[{"event_id":"sha256:8590d405ce72e28b6011fa5dd9f7ef8b46eaa345d3e2e16b4008326e01f36ff3","target":"graph","created_at":"2026-07-05T12:11:30Z","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/2509.10936/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Metaverse emerges by integrating highly-distributed, complex, and interconnecting technologies. These technologies need to be formally verified and evaluated through formal modelling before executing them in real-world applications, in order to avoid negative impacts on the real world due to failure of the Metaverse technologies. However, the formal modelling of Metaverse technologies is challenging due to its highly complex nature. Therefore, a comprehensive formal verification of the Metaverse technologies is needed for its realization in multiple potential areas. In this study, a framew","authors_text":"Jorn Altmann, Maryam Amin, Umara Noor, Zahid Rashid","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2025-09-13T18:21:09Z","title":"Framework for Formal Modelling of Metaverse Applications Using Hierarchical Colored Petri Nets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.10936","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:ca9852a02b816373c842dc95f43442fa15a1c2a38369a2fa93f164b51dc4335e","target":"record","created_at":"2026-07-05T12:11:30Z","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":"343cb03e1be74e5f16525d3fd1e279d8534c92ae833ca76cff8432968e6a16fd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2025-09-13T18:21:09Z","title_canon_sha256":"14107b359cf87a596221ff613cfd3450ea90efc2a81bb89173cbc9702d01d798"},"schema_version":"1.0","source":{"id":"2509.10936","kind":"arxiv","version":1}},"canonical_sha256":"1a42e1ea2410fe44c25cf183d469e77183e25255197230d507b9aebf5ee5c10b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1a42e1ea2410fe44c25cf183d469e77183e25255197230d507b9aebf5ee5c10b","first_computed_at":"2026-07-05T12:11:30.704573Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:11:30.704573Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"upzkG6qRhMxNwkCodx3/COqoHmCNnW16gN2gG2MDzZksGUaimUnTYoMSlYsEhQuZKvjsrgD7ngBwcNQDtNNLAg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:11:30.705007Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.10936","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ca9852a02b816373c842dc95f43442fa15a1c2a38369a2fa93f164b51dc4335e","sha256:8590d405ce72e28b6011fa5dd9f7ef8b46eaa345d3e2e16b4008326e01f36ff3"],"state_sha256":"d5b4d6dbcf7c4db61f864df81a757325b326cb5f851dcad1849f0e742ca7bfe8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fcdT+hY5JZSPrA9tPvZObtAXzZt90lQSZc9hDD0rI8xndqZ5OTmn7bmfMrSR3L/5FzgSB8KbIQAhkGBF1YlRAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T08:47:55.122515Z","bundle_sha256":"757eb1467667c7bd63e90719f68140851dbd6327f9ffe190dbdf7025dddab241"}}