Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets
From MaRDI portal
Publication:5281927
DOI10.1109/TAC.2006.880957zbMath1366.93350MaRDI QIDQ5281927
Jorge Júlvez, Manuel Silva, Laura Recalde
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
93C65: Discrete event control/observation systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Timing and liveness in continuous Petri nets, Basic server semantics and performance monotonicity of continuous Petri nets