Return to Article Details Performance Analysis using Coloured Petri Nets Download Download PDF