Separability in Persistent Petri Nets

DOI10.1007/978-3-642-13675-7_15zbMATH Open1233.68161OpenAlexW1533222648MaRDI QIDQ3569870FDOQ3569870

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)

• Step persistence in the design of GALS systems
• Title not available (Why is that?)
• On persistent reachability in Petri nets
• Separability in Conflict-Free Petri Nets

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)