共 13 条
[1]
Mohan S(2004)Controller design and performance evaluation for deadlock avoidance in automated manufacturing cells Robot Com-Int Manu 20 541-551
[2]
Yalcin A(1991)Modeling and verification of time dependent systems using time Petri nets IEEE Trans Softw Eng 17 259-273
[3]
Khator S(1999)Timed Petri net in modeling and analysis of simple schedules for manufacturing cells Comput Math Appl 37 191-206
[4]
Berthomieu B(2005)Dynamic scheduling in flexible assembly system based on timed Petri nets model Robot Com-Int Manu 21 550-558
[5]
Diaz M(2002)Process net system of Petri net Chinese J Comput 25 1308-1315
[6]
Zuberek WM(2003)Process expression of unbounded Petri net Chinese J Comput 26 1629-1636
[7]
Zhang WJ(2004)Behavior descriptions of structure-complex Petri nets based on synchronous composition J Softw 15 327-337
[8]
Zeng QT(2001)Modeling method for FMS based on synchronization composition of Petri nets Syst Eng Theory Pract 21 35-42
[9]
Wu ZH(undefined)undefined undefined undefined undefined-undefined
[10]
Zeng QT(undefined)undefined undefined undefined undefined-undefined