Separability in Persistent Petri Nets

DOI10.1007/978-3-642-13675-7_15MaRDI QIDQ3569870zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(4)

• scientific article; zbMATH DE number 5587264 (Why is no real title available?)
• On persistent reachability in Petri nets
• Separability in Conflict-Free Petri Nets
• Step persistence in the design of GALS systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569870)