{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:OFMM7NMIHYNC4W2FNQ6WCFLGNE","short_pith_number":"pith:OFMM7NMI","schema_version":"1.0","canonical_sha256":"7158cfb5883e1a2e5b456c3d6115666920992697718ba71d7465581cc1d08a61","source":{"kind":"arxiv","id":"1706.02641","version":1},"attestation_state":"computed","paper":{"title":"Behavioural equivalences for fluid stochastic Petri nets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Igor V. Tarasyuk, Peter Buchholz","submitted_at":"2017-06-08T15:28:55Z","abstract_excerpt":"We propose fluid equivalences to compare and reduce behaviour of labeled fluid stochastic Petri nets (LFSPNs) while preserving their discrete and continuous properties. We define a linear-time relation of fluid trace equivalence and its branching-time counterpart, fluid bisimulation equivalence. Both fluid relations take into account the essential features of the LFSPNs behaviour: functional activity, stochastic timing and fluid flow. We consider the LFSPNs whose continuous markings have no influence to the discrete ones and whose discrete part is continuous time stochastic Petri nets. The und"},"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":"1706.02641","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-06-08T15:28:55Z","cross_cats_sorted":[],"title_canon_sha256":"431044019bf1a75adfd6a01605615d7cc9ba5cd6239f9c698a161d6ea4382c1c","abstract_canon_sha256":"bf7f26cf768ea418ed43bfdca8986c0edfe4606967d3aa64b919535ea24ec857"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:44.947485Z","signature_b64":"ZMukEqmqbodWFtBHEj/WttlGjJBxX7oX8ctPEEVKT5m0GpjKj9Xu4lTpf7eb7MGSUDQ6Qrl/vpo0pybXtouuCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7158cfb5883e1a2e5b456c3d6115666920992697718ba71d7465581cc1d08a61","last_reissued_at":"2026-05-18T00:42:44.946946Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:44.946946Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Behavioural equivalences for fluid stochastic Petri nets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Igor V. Tarasyuk, Peter Buchholz","submitted_at":"2017-06-08T15:28:55Z","abstract_excerpt":"We propose fluid equivalences to compare and reduce behaviour of labeled fluid stochastic Petri nets (LFSPNs) while preserving their discrete and continuous properties. We define a linear-time relation of fluid trace equivalence and its branching-time counterpart, fluid bisimulation equivalence. Both fluid relations take into account the essential features of the LFSPNs behaviour: functional activity, stochastic timing and fluid flow. We consider the LFSPNs whose continuous markings have no influence to the discrete ones and whose discrete part is continuous time stochastic Petri nets. The und"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.02641","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":"1706.02641","created_at":"2026-05-18T00:42:44.947015+00:00"},{"alias_kind":"arxiv_version","alias_value":"1706.02641v1","created_at":"2026-05-18T00:42:44.947015+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.02641","created_at":"2026-05-18T00:42:44.947015+00:00"},{"alias_kind":"pith_short_12","alias_value":"OFMM7NMIHYNC","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_16","alias_value":"OFMM7NMIHYNC4W2F","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_8","alias_value":"OFMM7NMI","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/OFMM7NMIHYNC4W2FNQ6WCFLGNE","json":"https://pith.science/pith/OFMM7NMIHYNC4W2FNQ6WCFLGNE.json","graph_json":"https://pith.science/api/pith-number/OFMM7NMIHYNC4W2FNQ6WCFLGNE/graph.json","events_json":"https://pith.science/api/pith-number/OFMM7NMIHYNC4W2FNQ6WCFLGNE/events.json","paper":"https://pith.science/paper/OFMM7NMI"},"agent_actions":{"view_html":"https://pith.science/pith/OFMM7NMIHYNC4W2FNQ6WCFLGNE","download_json":"https://pith.science/pith/OFMM7NMIHYNC4W2FNQ6WCFLGNE.json","view_paper":"https://pith.science/paper/OFMM7NMI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1706.02641&json=true","fetch_graph":"https://pith.science/api/pith-number/OFMM7NMIHYNC4W2FNQ6WCFLGNE/graph.json","fetch_events":"https://pith.science/api/pith-number/OFMM7NMIHYNC4W2FNQ6WCFLGNE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OFMM7NMIHYNC4W2FNQ6WCFLGNE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OFMM7NMIHYNC4W2FNQ6WCFLGNE/action/storage_attestation","attest_author":"https://pith.science/pith/OFMM7NMIHYNC4W2FNQ6WCFLGNE/action/author_attestation","sign_citation":"https://pith.science/pith/OFMM7NMIHYNC4W2FNQ6WCFLGNE/action/citation_signature","submit_replication":"https://pith.science/pith/OFMM7NMIHYNC4W2FNQ6WCFLGNE/action/replication_record"}},"created_at":"2026-05-18T00:42:44.947015+00:00","updated_at":"2026-05-18T00:42:44.947015+00:00"}