Tilbage til artikeldetaljer Towards a Modular Analysis of Coloured Petri Nets Download Download PDF