{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:YFMFNYAUBPCTRIMDFB7KPDAFXT","short_pith_number":"pith:YFMFNYAU","canonical_record":{"source":{"id":"1211.4098","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-11-17T09:20:31Z","cross_cats_sorted":[],"title_canon_sha256":"e5bae39e16a7598cf8ea564b64a27e55d6c7621e4f5f9fa741c3ac59c3b42106","abstract_canon_sha256":"3f6eb503c48c11ab16eda11fc9aadb88a8f329b63d91c500d19f23d135658c5f"},"schema_version":"1.0"},"canonical_sha256":"c15856e0140bc538a183287ea78c05bcdcacddd54c9d599a8d549ebcd2249621","source":{"kind":"arxiv","id":"1211.4098","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.4098","created_at":"2026-05-18T03:40:28Z"},{"alias_kind":"arxiv_version","alias_value":"1211.4098v1","created_at":"2026-05-18T03:40:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.4098","created_at":"2026-05-18T03:40:28Z"},{"alias_kind":"pith_short_12","alias_value":"YFMFNYAUBPCT","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"YFMFNYAUBPCTRIMD","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"YFMFNYAU","created_at":"2026-05-18T12:27:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:YFMFNYAUBPCTRIMDFB7KPDAFXT","target":"record","payload":{"canonical_record":{"source":{"id":"1211.4098","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-11-17T09:20:31Z","cross_cats_sorted":[],"title_canon_sha256":"e5bae39e16a7598cf8ea564b64a27e55d6c7621e4f5f9fa741c3ac59c3b42106","abstract_canon_sha256":"3f6eb503c48c11ab16eda11fc9aadb88a8f329b63d91c500d19f23d135658c5f"},"schema_version":"1.0"},"canonical_sha256":"c15856e0140bc538a183287ea78c05bcdcacddd54c9d599a8d549ebcd2249621","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:40:28.028934Z","signature_b64":"T4Lf9UzQyorfGCptu++wsr/HO3ypjhTN3HNIDJKGRZf5RNywGPQKnmN+ELee20O+vGyr/5XVtLn37BHpk5IvCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c15856e0140bc538a183287ea78c05bcdcacddd54c9d599a8d549ebcd2249621","last_reissued_at":"2026-05-18T03:40:28.028370Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:40:28.028370Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1211.4098","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:40:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6SWXiZ9S2tHHPhfI/FMfM43bZi9qMfjBAafwX9EzLTxneOwqq4Llgvst2YD3DBW2T8nN5tlEqtgLcPiC0Zf7Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T22:13:46.006395Z"},"content_sha256":"83513cca5ee201764170f1586cca76dd62b8e6d1624b8806f8e4dbbf313fc0b3","schema_version":"1.0","event_id":"sha256:83513cca5ee201764170f1586cca76dd62b8e6d1624b8806f8e4dbbf313fc0b3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:YFMFNYAUBPCTRIMDFB7KPDAFXT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Higher-order port-graph rewriting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Maribel Fern\\'andez (King's College London), S\\'ebastien Maulat (\\'Ecole Normale Sup\\'erieure de Lyon)","submitted_at":"2012-11-17T09:20:31Z","abstract_excerpt":"The biologically inspired framework of port-graphs has been successfully used to specify complex systems. It is the basis of the PORGY modelling tool. To facilitate the specification of proof normalisation procedures via graph rewriting, in this paper we add higher-order features to the original port-graph syntax, along with a generalised notion of graph morphism.  We provide a matching algorithm which enables to implement higher-order port-graph rewriting in PORGY, thus one can visually study the dynamics of the systems modelled. We illustrate the expressive power of higher-order port-graphs "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.4098","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:40:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9Otg/xcB4aAnr7HY2UGaHPo8deZ2oTswgu98fAXrZv1V3kUVRZRfpJV3RO8Lyh7gX7/qW88qUY9/dcKlhTi8Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T22:13:46.007082Z"},"content_sha256":"fd099a05cfe95538306f18028a1bacf62172823f02c1a1f7c69e8b50ca16b65b","schema_version":"1.0","event_id":"sha256:fd099a05cfe95538306f18028a1bacf62172823f02c1a1f7c69e8b50ca16b65b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YFMFNYAUBPCTRIMDFB7KPDAFXT/bundle.json","state_url":"https://pith.science/pith/YFMFNYAUBPCTRIMDFB7KPDAFXT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YFMFNYAUBPCTRIMDFB7KPDAFXT/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-09T22:13:46Z","links":{"resolver":"https://pith.science/pith/YFMFNYAUBPCTRIMDFB7KPDAFXT","bundle":"https://pith.science/pith/YFMFNYAUBPCTRIMDFB7KPDAFXT/bundle.json","state":"https://pith.science/pith/YFMFNYAUBPCTRIMDFB7KPDAFXT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YFMFNYAUBPCTRIMDFB7KPDAFXT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:YFMFNYAUBPCTRIMDFB7KPDAFXT","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":"3f6eb503c48c11ab16eda11fc9aadb88a8f329b63d91c500d19f23d135658c5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-11-17T09:20:31Z","title_canon_sha256":"e5bae39e16a7598cf8ea564b64a27e55d6c7621e4f5f9fa741c3ac59c3b42106"},"schema_version":"1.0","source":{"id":"1211.4098","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.4098","created_at":"2026-05-18T03:40:28Z"},{"alias_kind":"arxiv_version","alias_value":"1211.4098v1","created_at":"2026-05-18T03:40:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.4098","created_at":"2026-05-18T03:40:28Z"},{"alias_kind":"pith_short_12","alias_value":"YFMFNYAUBPCT","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"YFMFNYAUBPCTRIMD","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"YFMFNYAU","created_at":"2026-05-18T12:27:27Z"}],"graph_snapshots":[{"event_id":"sha256:fd099a05cfe95538306f18028a1bacf62172823f02c1a1f7c69e8b50ca16b65b","target":"graph","created_at":"2026-05-18T03:40:28Z","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":"The biologically inspired framework of port-graphs has been successfully used to specify complex systems. It is the basis of the PORGY modelling tool. To facilitate the specification of proof normalisation procedures via graph rewriting, in this paper we add higher-order features to the original port-graph syntax, along with a generalised notion of graph morphism.  We provide a matching algorithm which enables to implement higher-order port-graph rewriting in PORGY, thus one can visually study the dynamics of the systems modelled. We illustrate the expressive power of higher-order port-graphs ","authors_text":"Maribel Fern\\'andez (King's College London), S\\'ebastien Maulat (\\'Ecole Normale Sup\\'erieure de Lyon)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-11-17T09:20:31Z","title":"Higher-order port-graph rewriting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.4098","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:83513cca5ee201764170f1586cca76dd62b8e6d1624b8806f8e4dbbf313fc0b3","target":"record","created_at":"2026-05-18T03:40:28Z","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":"3f6eb503c48c11ab16eda11fc9aadb88a8f329b63d91c500d19f23d135658c5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-11-17T09:20:31Z","title_canon_sha256":"e5bae39e16a7598cf8ea564b64a27e55d6c7621e4f5f9fa741c3ac59c3b42106"},"schema_version":"1.0","source":{"id":"1211.4098","kind":"arxiv","version":1}},"canonical_sha256":"c15856e0140bc538a183287ea78c05bcdcacddd54c9d599a8d549ebcd2249621","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c15856e0140bc538a183287ea78c05bcdcacddd54c9d599a8d549ebcd2249621","first_computed_at":"2026-05-18T03:40:28.028370Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:40:28.028370Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T4Lf9UzQyorfGCptu++wsr/HO3ypjhTN3HNIDJKGRZf5RNywGPQKnmN+ELee20O+vGyr/5XVtLn37BHpk5IvCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:40:28.028934Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.4098","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:83513cca5ee201764170f1586cca76dd62b8e6d1624b8806f8e4dbbf313fc0b3","sha256:fd099a05cfe95538306f18028a1bacf62172823f02c1a1f7c69e8b50ca16b65b"],"state_sha256":"527d557822beac462678b6b887578aa3e095cf95dd9845d0da8b83e3e83a4578"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+X5GMCwv/hiJwcmNTfa48Zg2Y6TFOpZgPtnF3LTA7sxnFWF/AQlNgXC4/BVjL70Y/vB7oIXWizuqSXN4X8nQAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T22:13:46.011522Z","bundle_sha256":"da84af5af43c8058f223d6ae35da6592a11771357794fc5a4720c4a16d46649f"}}