Place bisimulation and liveness for open Petri nets

DOI10.1007/978-3-319-47677-3_1zbMath1393.68113OpenAlexW2529563697MaRDI QIDQ1660760

Xiaoju Dong, Yuxi Fu, Daniele Varacca

Publication date: 16 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-47677-3_1

zbMATH Keywords

livenessbisimulationinteractionopen Petri net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Resource Bisimilarity in Petri Nets is Decidable

This page was built for publication: Place bisimulation and liveness for open Petri nets