Modeling and Analysis of Queueing System with Colored Petri Nets
LIU Jian-ying;LI Xiao-long
Computer and Modernization . 2010, (6): 101 -0103 .  DOI: 10.3969/j.issn.1006-2475.2010.06.029