Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems

Petri nets: Properties, analysis and applications

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

Engineering, Computer Engineering, Computer Science +15

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

IEEE trans. syst. man cybern

Computer-Aided Design · 1976 · 1.1K citations

Computing, Computer Engineering, Computer Science +14

Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems

Zhiwu Li, MengChu Zhou · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 2004 · 671 citations

Engineering, Industrial Engineering, Manufacturing Engineering +8