In: IEEE Computer Soc. Press, Proc. of 6th International Workshop on Petri Nets and Performance Models - PNPM'95, Durham, N. Carolina, USA, pages 137-146. 1995.
Abstract: Coloured Petri nets are a powerful formalism for the description of complex, asynchronous distributed systems. They can express in a very concise way the behaviour of very large system especially in case these systems are composed of many replications of a few basic components that individually behave in a similar way. The simulation of such models is however difficult to perform in a computationally efficient way. For the specific class of well formed stochastic nets (SWN) we present a set of techniques that allow a very efficient implementation of the event-driven simulation approach. Two approaches are followed to improve simulation efficiency: first, reduction of the amount of work needed to schedule or preempt the occurrence of a transition as a consequence of a markin g change, taking into account the restrictions on colour functions for the WN formalism; second, reduction of the average length of the event list in the case of symmetric models where the so called symbolic simulation technique apply. The approach is validated by performance measurements on several large SWN models taken from the literature.