Modeling and Simulation of Parallelism by Colored Petri Nets
Homayun Motameni, Zohre Ramezani, Zahra Usefi · 2012
Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, parallelism, communication and synchronisation play a major role.In this paper the prefix sums of a set of values is a example to show how we can simulate and model parallel and concurrent systems with colored petri nets.