{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:3T54F5WUMAA5C7YAAEXWMXTUR7","short_pith_number":"pith:3T54F5WU","canonical_record":{"source":{"id":"1702.05334","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-17T13:21:45Z","cross_cats_sorted":[],"title_canon_sha256":"bd18eb48a664fe06244a4e1fc026a36653e3d778b8c5cb1027928f803e0fbb68","abstract_canon_sha256":"402e08bd1a7d246cdf7453487bd44bf950668b3c7e1a97875f8f0b3793c3b904"},"schema_version":"1.0"},"canonical_sha256":"dcfbc2f6d46001d17f00012f665e748fdc3f81f3b524c002809a7a28d061226b","source":{"kind":"arxiv","id":"1702.05334","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.05334","created_at":"2026-05-18T00:11:28Z"},{"alias_kind":"arxiv_version","alias_value":"1702.05334v4","created_at":"2026-05-18T00:11:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.05334","created_at":"2026-05-18T00:11:28Z"},{"alias_kind":"pith_short_12","alias_value":"3T54F5WUMAA5","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3T54F5WUMAA5C7YA","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3T54F5WU","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:3T54F5WUMAA5C7YAAEXWMXTUR7","target":"record","payload":{"canonical_record":{"source":{"id":"1702.05334","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-17T13:21:45Z","cross_cats_sorted":[],"title_canon_sha256":"bd18eb48a664fe06244a4e1fc026a36653e3d778b8c5cb1027928f803e0fbb68","abstract_canon_sha256":"402e08bd1a7d246cdf7453487bd44bf950668b3c7e1a97875f8f0b3793c3b904"},"schema_version":"1.0"},"canonical_sha256":"dcfbc2f6d46001d17f00012f665e748fdc3f81f3b524c002809a7a28d061226b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:11:28.296400Z","signature_b64":"ugDec0qYmVryGIspS/7+5Uk3903m24iib9360sqrKA6NCevo0R1noIuXDaMLAXZV0O5YzA9pXADGhzz4YdwmCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dcfbc2f6d46001d17f00012f665e748fdc3f81f3b524c002809a7a28d061226b","last_reissued_at":"2026-05-18T00:11:28.296013Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:11:28.296013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.05334","source_version":4,"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:11:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4HjG10MCP9Tv6H0NT6J3ZoTTHGka1DkQxEsb1flT/CQdAyPHmFk/22WbBikGCr0nqx2KwwmSZG8KcSw3qU1nDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T02:32:14.107838Z"},"content_sha256":"dc598c066229d48d560dcbf946b31d73d23877a0a7e9da9f0c73e0e8f1e49d99","schema_version":"1.0","event_id":"sha256:dc598c066229d48d560dcbf946b31d73d23877a0a7e9da9f0c73e0e8f1e49d99"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:3T54F5WUMAA5C7YAAEXWMXTUR7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Regular Separability of Well Structured Transition Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"K Narayan Kumar, Prakash Saivasan, Roland Meyer, Sebastian Muskalla, S{\\l}awomir Lasota, Wojciech Czerwi\\'nski","submitted_at":"2017-02-17T13:21:45Z","abstract_excerpt":"We investigate the languages recognized by well-structured transition systems (WSTS) with upward and downward compatibility. Our first result shows that, under very mild assumptions, every two disjoint WSTS languages are regular separable: There is a regular language containing one of them and being disjoint from the other. As a consequence, if a language as well as its complement are both recognized by WSTS, then they are necessarily regular. In particular, no subclass of WSTS languages beyond the regular languages is closed under complement. Our second result shows that for Petri nets, the c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.05334","kind":"arxiv","version":4},"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:11:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iMHnaDlwoAYja+cxQRBmHftFLd06FSbJuC9BxNVmdGBsWmzt5ev1uM0ZEeQVHdY6pHoqNpL1ClakmUhDMLLnCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T02:32:14.108199Z"},"content_sha256":"643b04beb913fafee714bda48b6309a082fdfc138c3df3a17a3e4fce9ea62687","schema_version":"1.0","event_id":"sha256:643b04beb913fafee714bda48b6309a082fdfc138c3df3a17a3e4fce9ea62687"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3T54F5WUMAA5C7YAAEXWMXTUR7/bundle.json","state_url":"https://pith.science/pith/3T54F5WUMAA5C7YAAEXWMXTUR7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3T54F5WUMAA5C7YAAEXWMXTUR7/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-05-28T02:32:14Z","links":{"resolver":"https://pith.science/pith/3T54F5WUMAA5C7YAAEXWMXTUR7","bundle":"https://pith.science/pith/3T54F5WUMAA5C7YAAEXWMXTUR7/bundle.json","state":"https://pith.science/pith/3T54F5WUMAA5C7YAAEXWMXTUR7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3T54F5WUMAA5C7YAAEXWMXTUR7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:3T54F5WUMAA5C7YAAEXWMXTUR7","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":"402e08bd1a7d246cdf7453487bd44bf950668b3c7e1a97875f8f0b3793c3b904","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-17T13:21:45Z","title_canon_sha256":"bd18eb48a664fe06244a4e1fc026a36653e3d778b8c5cb1027928f803e0fbb68"},"schema_version":"1.0","source":{"id":"1702.05334","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.05334","created_at":"2026-05-18T00:11:28Z"},{"alias_kind":"arxiv_version","alias_value":"1702.05334v4","created_at":"2026-05-18T00:11:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.05334","created_at":"2026-05-18T00:11:28Z"},{"alias_kind":"pith_short_12","alias_value":"3T54F5WUMAA5","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3T54F5WUMAA5C7YA","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3T54F5WU","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:643b04beb913fafee714bda48b6309a082fdfc138c3df3a17a3e4fce9ea62687","target":"graph","created_at":"2026-05-18T00:11: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":"We investigate the languages recognized by well-structured transition systems (WSTS) with upward and downward compatibility. Our first result shows that, under very mild assumptions, every two disjoint WSTS languages are regular separable: There is a regular language containing one of them and being disjoint from the other. As a consequence, if a language as well as its complement are both recognized by WSTS, then they are necessarily regular. In particular, no subclass of WSTS languages beyond the regular languages is closed under complement. Our second result shows that for Petri nets, the c","authors_text":"K Narayan Kumar, Prakash Saivasan, Roland Meyer, Sebastian Muskalla, S{\\l}awomir Lasota, Wojciech Czerwi\\'nski","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-17T13:21:45Z","title":"Regular Separability of Well Structured Transition Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.05334","kind":"arxiv","version":4},"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:dc598c066229d48d560dcbf946b31d73d23877a0a7e9da9f0c73e0e8f1e49d99","target":"record","created_at":"2026-05-18T00:11: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":"402e08bd1a7d246cdf7453487bd44bf950668b3c7e1a97875f8f0b3793c3b904","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-17T13:21:45Z","title_canon_sha256":"bd18eb48a664fe06244a4e1fc026a36653e3d778b8c5cb1027928f803e0fbb68"},"schema_version":"1.0","source":{"id":"1702.05334","kind":"arxiv","version":4}},"canonical_sha256":"dcfbc2f6d46001d17f00012f665e748fdc3f81f3b524c002809a7a28d061226b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dcfbc2f6d46001d17f00012f665e748fdc3f81f3b524c002809a7a28d061226b","first_computed_at":"2026-05-18T00:11:28.296013Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:11:28.296013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ugDec0qYmVryGIspS/7+5Uk3903m24iib9360sqrKA6NCevo0R1noIuXDaMLAXZV0O5YzA9pXADGhzz4YdwmCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:11:28.296400Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.05334","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc598c066229d48d560dcbf946b31d73d23877a0a7e9da9f0c73e0e8f1e49d99","sha256:643b04beb913fafee714bda48b6309a082fdfc138c3df3a17a3e4fce9ea62687"],"state_sha256":"509c88c9d1329ad15a8e8fd394ab4e7fb1ebbe47af1b5a0d74cc0c846801d3a3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HSFTTuQcacn+B4LrrxccDSd5/BOL+exVEiFJuvdp0ewvc2jRa2kaksIaWEV4avAokz5sVxuc6mCwBoQ9aMpBAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T02:32:14.110396Z","bundle_sha256":"f450c63949d9fe879af2e768992f55fbe0b6d8d66b7d85d0291145f7f820093d"}}