Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs

Petri nets: Properties, analysis and applications

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

Engineering, Computer Engineering, Computer Science +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

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

Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows

Zbigniew Banaszak, Bruce H. Krogh · IEEE Transactions on Robotics and Automation · 1990 · 528 citations

Computing, Industrial Engineering, Manufacturing Engineering +17

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