Return to Article Details Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems Download Download PDF