1 |
Deadlock characterization and control of flexible assembly systems with Petri nets Xing KY, Wang F, Zhou MC, Lei H, Luo JC Automatica, 87, 358, 2018 |
2 |
Comments on "Liveness of an extended (SPR)-P-3" [Automatica 46 (2010) 1008-1018] Wang SG, Liu M Automatica, 50(8), 2199, 2014 |
3 |
On structural minimality of optimal supervisors for flexible manufacturing systems Chen YF, Li ZW Automatica, 48(10), 2647, 2012 |
4 |
Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems Chen YF, Li ZW Automatica, 47(5), 1028, 2011 |
5 |
Liveness of an extended (SPR)-P-3 Liu D, Li ZW, Zhou MC Automatica, 46(6), 1008, 2010 |
6 |
Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming Zhao M, Hou YF, Liu D International Journal of Control, 83(10), 2053, 2010 |
7 |
Design of T-liveness enforcing supervisors in Petri nets Iordache MV, Antsaklis PJ IEEE Transactions on Automatic Control, 48(11), 1962, 2003 |
8 |
Deadlock avoidance policy for petri-net modeling of flexible manufacturing systems with shared resources - Comments Garcia-Valles F, Colom JM, Ezpeleta J IEEE Transactions on Automatic Control, 45(9), 1760, 2000 |