화학공학소재연구정보센터
검색결과 : 8건
No. Article
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