Separability in Persistent Petri Nets

DOI10.1007/978-3-642-13675-7_15zbMath1233.68161OpenAlexW1533222648MaRDI QIDQ3569870

Eike Best, Philippe Darondeau

Publication date: 22 June 2010

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13675-7_15

Mathematics Subject Classification ID

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

Related Items (1)

Step Persistence in the Design of GALS Systems

This page was built for publication: Separability in Persistent Petri Nets