Automatica · 2008 · 63 citations · 16 references
Petri NetEngineeringSafe Petri NetsStochastic Petri NetFormal MethodsProcess ControlSystems EngineeringController SynthesisSystem SynthesisControl DesignComputer ScienceFormal Verification
16
The control of discrete event systems
Peter J. Ramadge, W.M. Wonham · Proceedings of the IEEE · 1989 · 2.9K citations
Event-driven Architecture, Engineering, Discrete Event Systems +16
Feedback control of petri nets based on place invariants
Katerina Yamalidou, John Moody, Michael Lemmon et al. · Automatica · 1996 · 458 citations · Full text
Feedback control of Petri nets based on place invariants
John Moody, Katerina Yamalidou, Michael Lemmon et al. · 2002 · 425 citations