Analysis and Performance Evaluation of Coloured Petri Nets by Means of Distributed Simulation

Abstract This paper presents an approach to build a distributed simulator of coloured Petri nets. The main idea is to combine in the simulator formal analysis of Petri nets and their simulation experiments. One of the problems to solve in distributed simulation is the partitionning of simulation among the processors. In our paper we show that this distribution of coloured Petri nets can be used to speed up simulation and to carry on performance evaluation and analysis based on net transformations.