Tilbage til artikeldetaljer Analysing Coloured Petri Nets by the Occurrence Graph Method Download Download PDF