Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets

DOI10.1109/TAC.2006.880957zbMath1366.93350OpenAlexW2139163552MaRDI QIDQ5281927

Jorge Júlvez, Laura Recalde, Manuel Silva

Publication date: 27 July 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2006.880957

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Basic server semantics and performance monotonicity of continuous Petri nets ⋮ Individuals, populations and fluid approximations: a Petri net based perspective ⋮ Timing and liveness in continuous Petri nets ⋮ Synthesis and reengineering of persistent systems ⋮ An extension of the taxonomy of persistent and nonviolent steps ⋮ The Power of Prime Cycles ⋮ Dual perspectives of equilibrium throughput properties of continuous mono-T-semiflow Petri nets: firing rate and initial marking variations ⋮ On fluidization of discrete event models: Observation and control of continuous Petri nets

This page was built for publication: Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets