DOTOLI M,FANTI M P.Modeling of an AS/RS serviced by rail-guided vehicles with colored Petri nets: A control perspective[C]//IEEE International Conference on Systems, Man and Cybernetics,2002,40(3):330-339.
CAI Wen-xue,WU Zhong-ming.An approach to model the AS/RS via colored timed Petri net[C]//International Conference on Logistics Systems and Intelligent Management.Harbin:IEEE Press,2010:590-594.
FREY G.Automatic implementation of Petri net based control algorithms on PLC[C]//Proceedings of American Control Conference.Chicago:IEEE Press,2000:2819-2823.
[6]
LEE G B,HAN Z,LEE J S.Automatic generation of ladder diagram with control Petri net[J].Journal of Intelligent Manufacturing,2004,15(2):245-252.
[7]
SUESUT T,INBAN P,NILAS P,et al.Interpretation Petri net model to IEC 1131-3: LD for programmable logic controller[C]//Proceedings of IEEE Conference on Robotics, Automation and Mechatronics.Seoul:IEEE Press,2004:1107-1111.
[8]
THAPA D,DANGOL C,WANG G.Transformation from Petri nets model to programmable logic controller using one-to-one mapping technique[C]//International Conference on Computational Intelligence for Modeling, Control and Automation.Vienna:IEEE Press,2005:228-233.
[9]
PERME T.Translation of extended Petri net model into ladder diagram and simulation with PLC[J].Journal of Mechanical Engineering,2009,55(10):608-622.
[10]
KOROTKIN S,ZAIDNER G,COHEN B,et al.A Petri net formal design methodology for discrete-event control of industrial automated systems[C]//IEEE 26th Convention of Electrical and Electronics Engineers in Israel.Eliat:IEEE Press,2010:431-435.
