Tilbage til artikeldetaljer Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems Download Download PDF