| 1 |
The fundamental closed-form solution of control-related states of kth order S3PR system with left-side non-sharing resource places of Petri nets
Chao DY, Yu TH
International Journal of Control, 89(1), 169, 2016 |
| 2 |
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 |
| 3 |
Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets
Hsieh FS
Automatica, 40(1), 51, 2004 |
| 4 |
Robustness of deadlock avoidance algorithms for sequential processes
Hsieh FS
Automatica, 39(10), 1695, 2003 |
| 5 |
Petri net supervisors for DES with uncontrollable and unobservable transitions
Moody JO, Antsaklis PJ
IEEE Transactions on Automatic Control, 45(3), 462, 2000 |
| 6 |
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 |
| 7 |
Extension based limited lookahead supervision of discrete event systems
Kumar R, Cheung HM, Marcus SI
Automatica, 34(11), 1327, 1998 |
| 8 |
Polynomial-Complexity Deadlock-Avoidance Policies for Sequential Resource-Allocation Systems
Reveliotis SA, Lawley MA, Ferreira PM
IEEE Transactions on Automatic Control, 42(10), 1344, 1997 |
