Tilbage til artikeldetaljer State Space Methods for Coloured Petri Nets Download Download PDF