DocumentCode :
387488
Title :
Distributed simulation of timed coloured Petri nets
Author :
Furfaro, Angelo ; Nigro, Libero ; Pupo, Francesco
Author_Institution :
DEIS, Univ. della Calabria, Italy
fYear :
2002
fDate :
2002
Firstpage :
159
Lastpage :
166
Abstract :
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.
Keywords :
Java; Petri nets; distributed algorithms; software agents; software tools; time warp simulation; timing; virtual machines; Java; RAINBOW graphical tool; TCPN; agent-based time warp algorithm; complex systems; distributed execution kernel; distributed simulation; model design; model simulation; model testing; modelling; net inscription language; networked simulator; ordered queue places; simulation performance; temporal uncertainty; timed coloured Petri nets; timing model; unordered queue places; Analytical models; Discrete event simulation; Java; Kernel; Performance analysis; Petri nets; Testing; Time warp simulation; Timing; Uncertainty;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Distributed Simulation and Real-Time Applications, 2002. Proceedings. Sixth IEEE International Workshop on
ISSN :
1530-1990
Print_ISBN :
0-7695-1853-2
Type :
conf
DOI :
10.1109/DISRTA.2002.1166902
Filename :
1166902
Link To Document :
بازگشت