{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:OVXTDPOVYJ7FY2Q3JZYR5HGNGT","short_pith_number":"pith:OVXTDPOV","schema_version":"1.0","canonical_sha256":"756f31bdd5c27e5c6a1b4e711e9ccd34eb82ca6ab64e22aa3ab888fe291afa26","source":{"kind":"arxiv","id":"1707.04125","version":1},"attestation_state":"computed","paper":{"title":"PAWS: A Tool for the Analysis of Weighted Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Barbara K\\\"onig, Christina Mika, Sebastian K\\\"upper","submitted_at":"2017-07-13T13:52:33Z","abstract_excerpt":"PAWS is a tool to analyse the behaviour of weighted automata and conditional transition systems. At its core PAWS is based on a generic implementation of algorithms for checking language equivalence in weighted automata and bisimulation in conditional transition systems. This architecture allows for the use of arbitrary user-defined semirings. New semirings can be generated during run-time and the user can rely on numerous automatisation techniques to create new semiring structures for PAWS' algorithms. Basic semirings such as distributive complete lattices and fields of fractions can be defin"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1707.04125","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-07-13T13:52:33Z","cross_cats_sorted":[],"title_canon_sha256":"bab84b3fa746891655e3b0866b63aa87c005bbb2106910081b55dc0370206012","abstract_canon_sha256":"d8ec2cb094e02ca8ebce2789e09e13eef8d0e05b2039feae5fd4ce293d1547ff"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:22.588755Z","signature_b64":"bMtrFpVmgiNChMNmPC7eCC+MiG5Eea8tWdmyQwOcYmTQ+7KoNe/e1Kb/VVeJp+vpxlsLkxnWeYq3UOb5Jf45BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"756f31bdd5c27e5c6a1b4e711e9ccd34eb82ca6ab64e22aa3ab888fe291afa26","last_reissued_at":"2026-05-18T00:40:22.588231Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:22.588231Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"PAWS: A Tool for the Analysis of Weighted Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Barbara K\\\"onig, Christina Mika, Sebastian K\\\"upper","submitted_at":"2017-07-13T13:52:33Z","abstract_excerpt":"PAWS is a tool to analyse the behaviour of weighted automata and conditional transition systems. At its core PAWS is based on a generic implementation of algorithms for checking language equivalence in weighted automata and bisimulation in conditional transition systems. This architecture allows for the use of arbitrary user-defined semirings. New semirings can be generated during run-time and the user can rely on numerous automatisation techniques to create new semiring structures for PAWS' algorithms. Basic semirings such as distributive complete lattices and fields of fractions can be defin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.04125","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1707.04125","created_at":"2026-05-18T00:40:22.588324+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.04125v1","created_at":"2026-05-18T00:40:22.588324+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.04125","created_at":"2026-05-18T00:40:22.588324+00:00"},{"alias_kind":"pith_short_12","alias_value":"OVXTDPOVYJ7F","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_16","alias_value":"OVXTDPOVYJ7FY2Q3","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_8","alias_value":"OVXTDPOV","created_at":"2026-05-18T12:31:34.259226+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OVXTDPOVYJ7FY2Q3JZYR5HGNGT","json":"https://pith.science/pith/OVXTDPOVYJ7FY2Q3JZYR5HGNGT.json","graph_json":"https://pith.science/api/pith-number/OVXTDPOVYJ7FY2Q3JZYR5HGNGT/graph.json","events_json":"https://pith.science/api/pith-number/OVXTDPOVYJ7FY2Q3JZYR5HGNGT/events.json","paper":"https://pith.science/paper/OVXTDPOV"},"agent_actions":{"view_html":"https://pith.science/pith/OVXTDPOVYJ7FY2Q3JZYR5HGNGT","download_json":"https://pith.science/pith/OVXTDPOVYJ7FY2Q3JZYR5HGNGT.json","view_paper":"https://pith.science/paper/OVXTDPOV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.04125&json=true","fetch_graph":"https://pith.science/api/pith-number/OVXTDPOVYJ7FY2Q3JZYR5HGNGT/graph.json","fetch_events":"https://pith.science/api/pith-number/OVXTDPOVYJ7FY2Q3JZYR5HGNGT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OVXTDPOVYJ7FY2Q3JZYR5HGNGT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OVXTDPOVYJ7FY2Q3JZYR5HGNGT/action/storage_attestation","attest_author":"https://pith.science/pith/OVXTDPOVYJ7FY2Q3JZYR5HGNGT/action/author_attestation","sign_citation":"https://pith.science/pith/OVXTDPOVYJ7FY2Q3JZYR5HGNGT/action/citation_signature","submit_replication":"https://pith.science/pith/OVXTDPOVYJ7FY2Q3JZYR5HGNGT/action/replication_record"}},"created_at":"2026-05-18T00:40:22.588324+00:00","updated_at":"2026-05-18T00:40:22.588324+00:00"}