Coloured Petri Nets Modelling And Validation Of Concurrent Systems | Desertcart EGYPT