Supervision Based on Place Invariants: A Survey

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Theory of Linear and Integer Programming

Adam N. Letchford, Alexander Schrijver · Journal of the Operational Research Society · 2000 · 5.6K citations

Petri Net theory and the modeling of systems

Mathematics and Computers in Simulation · 1982 · 3.6K citations

Petri Net, System Of System, Engineering +4

Control of systems integrating logic, dynamics, and constraints

Alberto Bemporad, Manfred Morari · Automatica · 1999 · 3K citations

Engineering, Automation, Process Control +4

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