自1962年C.A.Petri在其博士论文中首先提出Petri网后，Petri网理论和应用都取得了长足的进步，有色Petri网是由K.Jensen提出的一种高级......