We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Resource Bisimilarity in Petri Nets is Decidable

Authors: Irina Lomazova (HSE University, Moscow, Russia), Vladimir Bashkin (P.G. Demidov Yaroslavl State University, Yaroslavl, Russia)
Abstract: Petri nets are a popular formalism for modeling and analyzing distributed systems. Tokens in Petri net models can represent the control flow state or resources produced/consumed by transition firings. We define a resource as a part (submultiset) of the Petri net marking and call two resources equivalent iff replacing one of them with another in any marking does not change the observable Petri net behavior. We investigate the resource similarity and the resource bisimilarity -- congruent restrictions of the bisimulation equivalence on Petri net markings and prove that the resource bisimilarity is decidable in contrast to the resource similarity.
Comments: New version for submission to the journal
Subjects: Logic in Computer Science (cs.LO)
Cite as: arXiv:2101.07711 [cs.LO]
  (or arXiv:2101.07711v2 [cs.LO] for this version)

Submission history

From: Irina Lomazova [view email]
[v1] Tue, 19 Jan 2021 16:27:40 GMT (25kb)
[v2] Tue, 30 Nov 2021 09:49:45 GMT (32kb)

Link back to: arXiv, form interface, contact.