(1)
Jørgensen, J. B. Analysing Coloured Petri Nets by the Occurrence Graph Method.
DPB
1997
,
26
.