[1]
J. B. Jørgensen, “Analysing Coloured Petri Nets by the Occurrence Graph Method”,
DPB
, bd. 26, nr. 517, feb. 1997.