A Case Study Using Modular Time Petri Nets and Distributed Simulation

TitleA Case Study Using Modular Time Petri Nets and Distributed Simulation
Publication TypeConference Paper
Year of Publication2005
AuthorsCicirelli, F, Furfaro, A, Nigro, L
Conference NameProc. of European Simulation and Modelling Conference (ESM'05)
Date Published24-26 October
Conference LocationPorto, Portugal
Abstract

This paper describes an approach to modelling and analysis of complex time-critical systems specified by modular Time Petri Nets (TPNs). The modeling language is achieved by a specialization of Petri Net Markup Language (PNML) with Time Petri Nets. Analysis techniques are centered on distributed simulation using a time warp mechanism especially designed for an exploitation of temporal uncertainty which comes with a TPN model so as to improve simulation performance without impairing the accuracy of the results. The approach is demonstrated by a case study using the alternating bit protocol.