{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:IOLR6AVCYG5AYA7E25IFJ3VMJG","short_pith_number":"pith:IOLR6AVC","canonical_record":{"source":{"id":"2401.07743","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2024-01-15T14:54:42Z","cross_cats_sorted":[],"title_canon_sha256":"68dc5d5881c998b9f7a599a8fefef089271510fec5175f3a8d4d3b9d64942525","abstract_canon_sha256":"eaf83e25c3cf7e61d5d17ac5e2ca8bb2a18793922977b61d0cbc901eb506ce34"},"schema_version":"1.0"},"canonical_sha256":"43971f02a2c1ba0c03e4d75054eeac49b9462c388c8c92bef52ad6997c30d8b2","source":{"kind":"arxiv","id":"2401.07743","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.07743","created_at":"2026-07-05T07:34:02Z"},{"alias_kind":"arxiv_version","alias_value":"2401.07743v1","created_at":"2026-07-05T07:34:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.07743","created_at":"2026-07-05T07:34:02Z"},{"alias_kind":"pith_short_12","alias_value":"IOLR6AVCYG5A","created_at":"2026-07-05T07:34:02Z"},{"alias_kind":"pith_short_16","alias_value":"IOLR6AVCYG5AYA7E","created_at":"2026-07-05T07:34:02Z"},{"alias_kind":"pith_short_8","alias_value":"IOLR6AVC","created_at":"2026-07-05T07:34:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:IOLR6AVCYG5AYA7E25IFJ3VMJG","target":"record","payload":{"canonical_record":{"source":{"id":"2401.07743","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2024-01-15T14:54:42Z","cross_cats_sorted":[],"title_canon_sha256":"68dc5d5881c998b9f7a599a8fefef089271510fec5175f3a8d4d3b9d64942525","abstract_canon_sha256":"eaf83e25c3cf7e61d5d17ac5e2ca8bb2a18793922977b61d0cbc901eb506ce34"},"schema_version":"1.0"},"canonical_sha256":"43971f02a2c1ba0c03e4d75054eeac49b9462c388c8c92bef52ad6997c30d8b2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:34:02.225175Z","signature_b64":"6cgOE1YgeiGj8D2S09eMqaaUcNOKuI5Pu47BViaGaBSxhUUNuagm9XZQHTqIShzX/xNY6nGT9S4JA1sb2IoqBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"43971f02a2c1ba0c03e4d75054eeac49b9462c388c8c92bef52ad6997c30d8b2","last_reissued_at":"2026-07-05T07:34:02.224778Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:34:02.224778Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.07743","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-05T07:34:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vAXXib+ItWFQO0JhoWmujY+O+7DKweh/3drrRp9DqEOsHxNDt3lmKbrGHSWEJnlfIm95cxfzimIgcwC5ya7hDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T22:02:56.965001Z"},"content_sha256":"8aa77abaaf60c17476daf200ed981559ee1e4d9789d46dbb19b3cdc94f8d26b1","schema_version":"1.0","event_id":"sha256:8aa77abaaf60c17476daf200ed981559ee1e4d9789d46dbb19b3cdc94f8d26b1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:IOLR6AVCYG5AYA7E25IFJ3VMJG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Simulating and model checking membrane systems using strategies in Maude","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alberto Verdejo, Isabel Pita, Narciso Mart\\'i-Oliet, Rub\\'en Rubio","submitted_at":"2024-01-15T14:54:42Z","abstract_excerpt":"Membrane systems are a biologically-inspired computational model based on the structure of biological cells and the way chemicals interact and traverse their membranes. Although their dynamics are described by rules, encoding membrane systems into rewriting logic is not straightforward due to its complex control mechanisms. Multiple alternatives have been proposed in the literature and implemented in the Maude specification language. The recent release of the Maude strategy language and its associated strategy-aware model checker allow specifying these systems more easily, so that they become "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.07743","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/2401.07743/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-05T07:34:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tA0ry5hDwls2J3KaAteLQB0IxgAJOhcPSjMXQkmVacFBJ++fTe3Mz7znRNaOkOCUeejZL9FNIpQEh+ZrcK38Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T22:02:56.965813Z"},"content_sha256":"0a016b20b8130f956bf2266846daf6169d861ec84e075fe7bb066ecbb81444c0","schema_version":"1.0","event_id":"sha256:0a016b20b8130f956bf2266846daf6169d861ec84e075fe7bb066ecbb81444c0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IOLR6AVCYG5AYA7E25IFJ3VMJG/bundle.json","state_url":"https://pith.science/pith/IOLR6AVCYG5AYA7E25IFJ3VMJG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IOLR6AVCYG5AYA7E25IFJ3VMJG/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-10T22:02:56Z","links":{"resolver":"https://pith.science/pith/IOLR6AVCYG5AYA7E25IFJ3VMJG","bundle":"https://pith.science/pith/IOLR6AVCYG5AYA7E25IFJ3VMJG/bundle.json","state":"https://pith.science/pith/IOLR6AVCYG5AYA7E25IFJ3VMJG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IOLR6AVCYG5AYA7E25IFJ3VMJG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:IOLR6AVCYG5AYA7E25IFJ3VMJG","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":"eaf83e25c3cf7e61d5d17ac5e2ca8bb2a18793922977b61d0cbc901eb506ce34","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2024-01-15T14:54:42Z","title_canon_sha256":"68dc5d5881c998b9f7a599a8fefef089271510fec5175f3a8d4d3b9d64942525"},"schema_version":"1.0","source":{"id":"2401.07743","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.07743","created_at":"2026-07-05T07:34:02Z"},{"alias_kind":"arxiv_version","alias_value":"2401.07743v1","created_at":"2026-07-05T07:34:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.07743","created_at":"2026-07-05T07:34:02Z"},{"alias_kind":"pith_short_12","alias_value":"IOLR6AVCYG5A","created_at":"2026-07-05T07:34:02Z"},{"alias_kind":"pith_short_16","alias_value":"IOLR6AVCYG5AYA7E","created_at":"2026-07-05T07:34:02Z"},{"alias_kind":"pith_short_8","alias_value":"IOLR6AVC","created_at":"2026-07-05T07:34:02Z"}],"graph_snapshots":[{"event_id":"sha256:0a016b20b8130f956bf2266846daf6169d861ec84e075fe7bb066ecbb81444c0","target":"graph","created_at":"2026-07-05T07:34:02Z","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/2401.07743/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Membrane systems are a biologically-inspired computational model based on the structure of biological cells and the way chemicals interact and traverse their membranes. Although their dynamics are described by rules, encoding membrane systems into rewriting logic is not straightforward due to its complex control mechanisms. Multiple alternatives have been proposed in the literature and implemented in the Maude specification language. The recent release of the Maude strategy language and its associated strategy-aware model checker allow specifying these systems more easily, so that they become ","authors_text":"Alberto Verdejo, Isabel Pita, Narciso Mart\\'i-Oliet, Rub\\'en Rubio","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2024-01-15T14:54:42Z","title":"Simulating and model checking membrane systems using strategies in Maude"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.07743","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:8aa77abaaf60c17476daf200ed981559ee1e4d9789d46dbb19b3cdc94f8d26b1","target":"record","created_at":"2026-07-05T07:34:02Z","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":"eaf83e25c3cf7e61d5d17ac5e2ca8bb2a18793922977b61d0cbc901eb506ce34","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2024-01-15T14:54:42Z","title_canon_sha256":"68dc5d5881c998b9f7a599a8fefef089271510fec5175f3a8d4d3b9d64942525"},"schema_version":"1.0","source":{"id":"2401.07743","kind":"arxiv","version":1}},"canonical_sha256":"43971f02a2c1ba0c03e4d75054eeac49b9462c388c8c92bef52ad6997c30d8b2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"43971f02a2c1ba0c03e4d75054eeac49b9462c388c8c92bef52ad6997c30d8b2","first_computed_at":"2026-07-05T07:34:02.224778Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:34:02.224778Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6cgOE1YgeiGj8D2S09eMqaaUcNOKuI5Pu47BViaGaBSxhUUNuagm9XZQHTqIShzX/xNY6nGT9S4JA1sb2IoqBg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:34:02.225175Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.07743","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8aa77abaaf60c17476daf200ed981559ee1e4d9789d46dbb19b3cdc94f8d26b1","sha256:0a016b20b8130f956bf2266846daf6169d861ec84e075fe7bb066ecbb81444c0"],"state_sha256":"9013aff1e8852aed718381fbe3ee2c70f59e21d779bb785e5ce59e2e31f4a0f4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xuk+DltGZ7nyuEjEW26NJFfItbNulc7Qr8uQCTtjqbIZ+9HPgdjmYJoPsZLOHd6qNtVPWkr5Khxp4BJ9WypmDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-10T22:02:56.971411Z","bundle_sha256":"1c2761d96ed818ae1035f8d7c0f6b9457463aa6dedcbe877fe7e4c092c0dae42"}}