Publication:3596093

zbMath1118.93038MaRDI QIDQ3596093

Alessandro Giua, Carla Seatzu

Publication date: 29 August 2007

zbMATH Keywords

controllability; Petri nets; discrete event systems; models of concurrency

Mathematics Subject Classification ID

93C65: Discrete event control/observation systems

93-02: Research exposition (monographs, survey articles) pertaining to systems and control theory

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources, Robustness of deadlock control for a class of Petri nets with unreliable resources