Abstract: An extended occurrence net, colored occurrence net, was defined to overcome the shortcoming of traditional occurrence net for describing the dynamic behaviors of colored Petri net. The colored occurrence net can reflect the sequential and concurrent relat

Key words: Petri net,Colored Petri net,Occurrence net,Flight delay