Tilbage til artikeldetaljer Modular State Space Analysis of Coloured Petri Nets Download Download PDF