Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

Depth-First Search and Linear Graph Algorithms

Robert E. Tarjan · SIAM Journal on Computing · 1972 · 6K citations

Computing, Computer Science, Algorithms +16

The control of discrete event systems

Peter J. Ramadge, W.M. Wonham · Proceedings of the IEEE · 1989 · 2.9K citations

Engineering, Computer Science, Systems Engineering +15

A Petri net based deadlock prevention policy for flexible manufacturing systems

J. Ezpeleta, José Manuel Colom, J. M. Martı́nez · IEEE Transactions on Robotics and Automation · 1995 · 1.1K citations

Engineering, Industrial Engineering, Systems Engineering +12

Feedback control of petri nets based on place invariants

Katerina Yamalidou, John Moody, Michael Lemmon et al. · Automatica · 1996 · 459 citations · Full text

Engineering, Systems Engineering, Process Control +14