A Case Study Using Modular Time Petri Nets and Distributed Simulation
| Title | A Case Study Using Modular Time Petri Nets and Distributed Simulation |
| Publication Type | Conference Paper |
| Year of Publication | 2005 |
| Authors | Cicirelli, F, Furfaro, A, Nigro, L |
| Conference Name | Proc. of European Simulation and Modelling Conference (ESM'05) |
| Date Published | 24-26 October |
| Conference Location | Porto, 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. |