Proceedings of the

The 33rd European Safety and Reliability Conference (ESREL 2023)
3 – 8 September 2023, Southampton, UK

A New Approach to Time Petri Nets Modelling with an Example of Transportation System Performance Analysis

Pawel Skrobanek1 and Sylwia Werbińska-Wojciechowska2

1Department of Electronics and Computer Science, Koszalin University of Technology, Poland.

2Faculty of Mechanical Engineering, Wroclaw University of Science and Technology, Poland.


In any real system, every event takes some amount of time, no matter how small. Therefore, conducting analyses related to evaluating the level of any system's performance often refers to investigations of given systems' timing parameters. In practice, the timing analysis can be typically performed with the use of, among others, Petri nets with time extensions approach. The main types of Petri nets models that allow the analysis of temporal aspects include time Petri nets (TPNs), timed Petri nets, stochastic timed Petri nets or coloured timed Petri nets. In the presented paper, the authors introduce an alternative time Petri net model with dynamic time intervals. In the proposed approach a dynamic firing time interval is assigned to tokens. In addition, the application example for the transportation system is described. Petri net with the timed token model for the presented example and its analysis are discussed. The future research directions are also defined.

Keywords: Time Petri nets, Dynamic time interval, Timed token, A minimal set of enabling tokens, Time parameters analysis, Transportation system.

Download PDF