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, On fluidization of discrete event models: Observation and control of continuous Petri nets, Basic server semantics and performance monotonicity of continuous Petri nets