Distributed simulation of timed coloured Petri nets

TitleDistributed simulation of timed coloured Petri nets
Publication TypeConference Paper
Year of Publication2002
AuthorsFurfaro, A, Nigro, L, Pupo, F
Conference NameDistributed Simulation and Real-Time Applications, 2002. Proceedings. Sixth IEEE International Workshop on
Keywordsagent-based time warp algorithm, Analytical models, complex systems, Discrete event simulation, distributed algorithms, distributed execution kernel, distributed simulation, Java, Kernel, model design, model simulation, model testing, modelling, net inscription language, networked simulator, ordered queue places, Performance analysis, Petri nets, RAINBOW graphical tool, simulation performance, software agents, software tools, TCPN, temporal uncertainty, Testing, time warp simulation, timed coloured Petri nets, Timing, timing model, Uncertainty, unordered queue places, virtual machines

This paper introduces a coloured Petri nets formalism-TCPN-which is suitable for modelling and simulation of complex systems. Novel in TCPN is (i) a timing model which accommodates both unordered and ordered (queue) places; (ii) the adoption of Java as the net inscription language. TCPN is supported by a graphical tool-RAINBOW-which allows model design, testing and simulation. A large TCPN model can be split into regions (subnets) whose execution is assigned to different LP/processors of a networked simulator. Distributed simulation relies on TUTW, an agent-based time warp algorithm capable of exploiting temporal uncertainty for improving simulation performance. The paper describes TCPN and its distributed execution kernel. The practical use of TCPN is demonstrated through an example and experimental results.