Return to Article Details Coloured Petri Nets and the Invariant-Method Download Download PDF