Modelling and discrete event simulation using Rainbow

This paper describes a modelling language-Rainbow-based on Coloured Petri Nets, which was designed for modelling and simulation of complex systems. The formalism uses Java as the net annotating language. The timing model permits different policies to be associated with places which affect the token binding process. A graphical tool was achieved in Java which supports editing, debugging and simulation of CPN models. Large models can be simulated on top of a Time Warp based distributed executor. The practical use of Rainbow is demonstrated through a scalable simulation model.