Research on modeling and scheduling of stacker via colored timed petri net
LUO Jian,CHENG Yong,WU Chang-qing
Computer Engineering and Applications . 2009, (1): 207 -210 .  DOI: 10.3778/j.issn.1002-8331.2009.01.063