On Reachability in Autonomous Continuous Petri Net Systems
From MaRDI portal
Publication:3550618
DOI10.1007/3-540-44919-1_16zbMath1274.68238MaRDI QIDQ3550618
Jorge Júlvez, Laura Recalde, Manuel Silva
Publication date: 31 March 2010
Published in: Applications and Theory of Petri Nets 2003 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-44919-1_16
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Structural controllability in timed continuous Petri nets, Approaching minimum time control of timed continuous Petri nets, First-order hybrid Petri nets. An application to distributed manufacturing systems, Optimal stationary behavior for a class of timed continuous Petri nets, Dynamics and steady state analysis of controlled generalized batches Petri nets, ON/OFF strategy based minimum-time control of continuous Petri nets, Hybrid and hybrid adaptive Petri nets: on the computation of a reachability graph, Continuous Petri Nets: Expressive Power and Decidability Issues, On Controllability of Timed Continuous Petri Nets