An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming

Washington DC - USA

Beatrice Gralton · Art monthly Australia · 2008 · 3K citations

Public Affairs, Human Geography, Science Policy +1

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 analysis of Petri nets using siphons and mathematical programming

Feng Chu, Xiaolan Xie · IEEE Transactions on Robotics and Automation · 1997 · 453 citations

Natural Sciences, Mathematics, Discrete Mathematics +14

Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings

Jonghun Park, Spyros Reveliotis · IEEE Transactions on Automatic Control · 2001 · 383 citations

Computing, Computer Engineering, Computer Science +17