{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:HJ5Y5SKL5G2NA77WVQJVLCESVX","short_pith_number":"pith:HJ5Y5SKL","canonical_record":{"source":{"id":"1009.5341","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2010-09-27T17:49:21Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"f775915996b2d933e8a67051e5f5debd1d7f54a577d43870378a9cb97109fccd","abstract_canon_sha256":"e6e08a4a1d4698ac0e25c19d4484cd1f7b19da739f4ae9e2a02451e70d3745d4"},"schema_version":"1.0"},"canonical_sha256":"3a7b8ec94be9b4d07ff6ac13558892ade2b2342f9fab4c8050b2e448494c9458","source":{"kind":"arxiv","id":"1009.5341","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.5341","created_at":"2026-05-18T03:52:38Z"},{"alias_kind":"arxiv_version","alias_value":"1009.5341v4","created_at":"2026-05-18T03:52:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.5341","created_at":"2026-05-18T03:52:38Z"},{"alias_kind":"pith_short_12","alias_value":"HJ5Y5SKL5G2N","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"HJ5Y5SKL5G2NA77W","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"HJ5Y5SKL","created_at":"2026-05-18T12:26:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:HJ5Y5SKL5G2NA77WVQJVLCESVX","target":"record","payload":{"canonical_record":{"source":{"id":"1009.5341","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2010-09-27T17:49:21Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"f775915996b2d933e8a67051e5f5debd1d7f54a577d43870378a9cb97109fccd","abstract_canon_sha256":"e6e08a4a1d4698ac0e25c19d4484cd1f7b19da739f4ae9e2a02451e70d3745d4"},"schema_version":"1.0"},"canonical_sha256":"3a7b8ec94be9b4d07ff6ac13558892ade2b2342f9fab4c8050b2e448494c9458","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:52:38.922409Z","signature_b64":"y7nwJxs2pMKpbP93dae4oQ9TmLUJOnyvNAfXGz/gLC0iMpOZ9wcka3DWr61mm7CVechFHb6bW0BXBOmrx7tGBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3a7b8ec94be9b4d07ff6ac13558892ade2b2342f9fab4c8050b2e448494c9458","last_reissued_at":"2026-05-18T03:52:38.921683Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:52:38.921683Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1009.5341","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-18T03:52:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6G8l3l4ywCIWwfXDBZ2ovaDo6dfDZ0wA/Q4PAfq0wM8EhWvx8FNQ33DetruQyW4sdbDQ/SIsT4LhpIRCPxxfDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T16:22:11.219112Z"},"content_sha256":"a385dd1625eabba12e689c54ebd49a16fe51b106a6dc98eab214b1a2c94ed7c8","schema_version":"1.0","event_id":"sha256:a385dd1625eabba12e689c54ebd49a16fe51b106a6dc98eab214b1a2c94ed7c8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:HJ5Y5SKL5G2NA77WVQJVLCESVX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Canonizable Partial Order Generators and Regular Slice Languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.FL","authors_text":"Mateus de Oliveira Oliveira","submitted_at":"2010-09-27T17:49:21Z","abstract_excerpt":"In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we focused on the study of Hasse diagram generators, i.e., slice graphs that generate only transitive reduced DAGs, and showed that they could be used to solve several problems related to the partial order behavior of p/t-nets. In the present work we show that both slice graphs and Hasse diagram generators are worth studying on their own. First, we prove that any slice graph SG can be effectively transformed into a Hasse d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.5341","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-18T03:52:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JQm4mz3XWO+MHa6CVQsnzChSE9xPPbWoBZkW4Mgtw5zDz1Ejl+or1hGp/aF6710IEm+QFCB43ZU2UJeY/GaxAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T16:22:11.219473Z"},"content_sha256":"f8951fa435be6751b2179a7c3f6495e13ea3142dba858dea667bf916047d4b45","schema_version":"1.0","event_id":"sha256:f8951fa435be6751b2179a7c3f6495e13ea3142dba858dea667bf916047d4b45"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HJ5Y5SKL5G2NA77WVQJVLCESVX/bundle.json","state_url":"https://pith.science/pith/HJ5Y5SKL5G2NA77WVQJVLCESVX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HJ5Y5SKL5G2NA77WVQJVLCESVX/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-28T16:22:11Z","links":{"resolver":"https://pith.science/pith/HJ5Y5SKL5G2NA77WVQJVLCESVX","bundle":"https://pith.science/pith/HJ5Y5SKL5G2NA77WVQJVLCESVX/bundle.json","state":"https://pith.science/pith/HJ5Y5SKL5G2NA77WVQJVLCESVX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HJ5Y5SKL5G2NA77WVQJVLCESVX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:HJ5Y5SKL5G2NA77WVQJVLCESVX","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":"e6e08a4a1d4698ac0e25c19d4484cd1f7b19da739f4ae9e2a02451e70d3745d4","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2010-09-27T17:49:21Z","title_canon_sha256":"f775915996b2d933e8a67051e5f5debd1d7f54a577d43870378a9cb97109fccd"},"schema_version":"1.0","source":{"id":"1009.5341","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.5341","created_at":"2026-05-18T03:52:38Z"},{"alias_kind":"arxiv_version","alias_value":"1009.5341v4","created_at":"2026-05-18T03:52:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.5341","created_at":"2026-05-18T03:52:38Z"},{"alias_kind":"pith_short_12","alias_value":"HJ5Y5SKL5G2N","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"HJ5Y5SKL5G2NA77W","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"HJ5Y5SKL","created_at":"2026-05-18T12:26:07Z"}],"graph_snapshots":[{"event_id":"sha256:f8951fa435be6751b2179a7c3f6495e13ea3142dba858dea667bf916047d4b45","target":"graph","created_at":"2026-05-18T03:52:38Z","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":"In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we focused on the study of Hasse diagram generators, i.e., slice graphs that generate only transitive reduced DAGs, and showed that they could be used to solve several problems related to the partial order behavior of p/t-nets. In the present work we show that both slice graphs and Hasse diagram generators are worth studying on their own. First, we prove that any slice graph SG can be effectively transformed into a Hasse d","authors_text":"Mateus de Oliveira Oliveira","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2010-09-27T17:49:21Z","title":"Canonizable Partial Order Generators and Regular Slice Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.5341","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:a385dd1625eabba12e689c54ebd49a16fe51b106a6dc98eab214b1a2c94ed7c8","target":"record","created_at":"2026-05-18T03:52:38Z","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":"e6e08a4a1d4698ac0e25c19d4484cd1f7b19da739f4ae9e2a02451e70d3745d4","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2010-09-27T17:49:21Z","title_canon_sha256":"f775915996b2d933e8a67051e5f5debd1d7f54a577d43870378a9cb97109fccd"},"schema_version":"1.0","source":{"id":"1009.5341","kind":"arxiv","version":4}},"canonical_sha256":"3a7b8ec94be9b4d07ff6ac13558892ade2b2342f9fab4c8050b2e448494c9458","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3a7b8ec94be9b4d07ff6ac13558892ade2b2342f9fab4c8050b2e448494c9458","first_computed_at":"2026-05-18T03:52:38.921683Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:52:38.921683Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y7nwJxs2pMKpbP93dae4oQ9TmLUJOnyvNAfXGz/gLC0iMpOZ9wcka3DWr61mm7CVechFHb6bW0BXBOmrx7tGBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:52:38.922409Z","signed_message":"canonical_sha256_bytes"},"source_id":"1009.5341","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a385dd1625eabba12e689c54ebd49a16fe51b106a6dc98eab214b1a2c94ed7c8","sha256:f8951fa435be6751b2179a7c3f6495e13ea3142dba858dea667bf916047d4b45"],"state_sha256":"06b65f621ce14f73314ed57a1117598cc233d3982a9af1146e981ac45fcf0cc4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K3ewQ5NwPsEif3nBXlsF9siZHEm8bBHwIFHd8hs4kmy+AWhi6ehPlig4G2DIDFOreCaVkTooqSYxVN5IuwiqDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T16:22:11.221631Z","bundle_sha256":"c77db53f3f8f29c2c739e1b51fabbaff3e926dfdd30a88796b9f2e57eeaa76cb"}}