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.
A Case Study Using Modular Time Petri Nets and Distributed Simulation
F. CICIRELLI;FURFARO, Angelo;
2005-01-01
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
