{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:KJW6N7N7WXL2EV4I7366QU2DBK","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":"f02948be7197a76ef1a211a974751df39136da672ff875b12e934cbee2021a86","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2011-02-14T01:09:40Z","title_canon_sha256":"74611f238a8616bd616bed6ad9ef2a485a1b58b4bbeb97b4ee6540481e3605cc"},"schema_version":"1.0","source":{"id":"1102.2654","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.2654","created_at":"2026-05-18T04:28:46Z"},{"alias_kind":"arxiv_version","alias_value":"1102.2654v1","created_at":"2026-05-18T04:28:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.2654","created_at":"2026-05-18T04:28:46Z"},{"alias_kind":"pith_short_12","alias_value":"KJW6N7N7WXL2","created_at":"2026-05-18T12:26:32Z"},{"alias_kind":"pith_short_16","alias_value":"KJW6N7N7WXL2EV4I","created_at":"2026-05-18T12:26:32Z"},{"alias_kind":"pith_short_8","alias_value":"KJW6N7N7","created_at":"2026-05-18T12:26:32Z"}],"graph_snapshots":[{"event_id":"sha256:dfa6373a773e889609335de355a6c601f6c279d05dc8abe575bcd7d08e4b8119","target":"graph","created_at":"2026-05-18T04:28:46Z","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":"This paper investigates the use of graph rewriting systems as a modelling tool, and advocates the embedding of such systems in an interactive environment. One important application domain is the modelling of biochemical systems, where states are represented by port graphs and the dynamics is driven by rules and strategies.  A graph rewriting tool's capability to interactively explore the features of the rewriting system provides useful insights into possible behaviours of the model and its properties.  We describe PORGY, a visual and interactive tool we have developed to model complex systems ","authors_text":"Bruno Pinaud (INRIA Bordeaux Sud-Ouest), Guy Melan\\c{c}on (INRIA Bordeaux Sud-Ouest), H\\'el\\`ene Kirchner (INRIA Bordeaux Sud-Ouest), Maribel Fern\\'andez (King's College London), Oana Andrei (School of Computing Science, Olivier Namet (King's College London), University of Glasgow)","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2011-02-14T01:09:40Z","title":"PORGY: Strategy-Driven Interactive Transformation of Graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.2654","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:87391961852aa126f540390582f68c85d1f450e92572d48e9352c77840e5f83d","target":"record","created_at":"2026-05-18T04:28:46Z","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":"f02948be7197a76ef1a211a974751df39136da672ff875b12e934cbee2021a86","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2011-02-14T01:09:40Z","title_canon_sha256":"74611f238a8616bd616bed6ad9ef2a485a1b58b4bbeb97b4ee6540481e3605cc"},"schema_version":"1.0","source":{"id":"1102.2654","kind":"arxiv","version":1}},"canonical_sha256":"526de6fdbfb5d7a25788fefde853430ab66dd94993547d7670276f145c04129d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"526de6fdbfb5d7a25788fefde853430ab66dd94993547d7670276f145c04129d","first_computed_at":"2026-05-18T04:28:46.814482Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:28:46.814482Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"taStRYSXVw+9KNXJP/djne/3b2KmAnaecmn9Tzi3XqGuF3i/8zm3tjYdzJGdvCduuVqqvw2YhLpifaMhlzc6Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:28:46.814972Z","signed_message":"canonical_sha256_bytes"},"source_id":"1102.2654","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:87391961852aa126f540390582f68c85d1f450e92572d48e9352c77840e5f83d","sha256:dfa6373a773e889609335de355a6c601f6c279d05dc8abe575bcd7d08e4b8119"],"state_sha256":"f7dee1207ab4c4a066d262bbc642e4f51ee61e9b0f851ac0c9c9c3221404c116"}