共 38 条
- [1] Castillo I(2002)Formal modeling methodologies for control of manufacturing cells: survey and comparison J Manuf Syst 21 40-57
- [2] Smith JS(2004)A comprehensive survey and future trend of simulation study on FMS scheduling J Intell Manuf 15 87-102
- [3] Chan FTS(2006)Modular finite state machines: development and application to reconfigurable manufacturing cell controller generation Control Eng Pract 14 1127-1142
- [4] Chan HK(1997)Event-based feedback control for deadlock avoidance in flexible production systems IEEE Trans Robot Autom 13 347-363
- [5] Endsley EW(2003)A comparison of deadlock avoidance policies in flexible manufacturing systems Int J Prod Res 41 2991-3006
- [6] Almeida EE(1995)Synthesis using resource control nets for modeling shared-resource systems IEEE Trans Robot Autom 11 317-327
- [7] Tilbury DM(2001)Deadlock avoidance for sequential resource allocation systems: hard and easy cases Int J Flex Manuf Syst 13 385-404
- [8] Fanti M(1998)Analysis of deadlock and circular waits using matrix model for flexible manufacturing systems Automatica 34 1083-1100
- [9] Maione B(2003)A study of current logic design practices in the automotive manufacturing industry Int J Hum Comput Stud 59 725-753
- [10] Mascolo S(1989)Petri Nets: properties, analysis, and applications Proc IEEE 77 541-580