Extended time Petri nets

Read full text
Authors: Marcin Radom, Piotr Formanowicz
Cited by: 0

Abstract

In many complex systems that can be modeled using Petri nets, time can be a very important factor which should be taken into account during creation and analysis of the model. Time data can describe the starting moments of some actions or their duration before their immediate effects start to influence some other areas of the modeled system. Places in a Petri net often portray static components of the system, but they can also describe states. Such a state can have time restrictions, for example, indicating how long it can influence other elements in the model. Time values describing some systems may be inconsistent or incomplete, which can cause problems during the creation of the model. In this paper, a new extension of time Petri nets is proposed which allows the creation of models with different types of time data that previously were able to be properly used in separate types of well-known time Petri nets. The new time Petri net introduced here solves this problem by integrating different aspects of already existing time Petri nets into one unified structure.

Fields of Study & Subjects

Petri Nets in System Modeling Business Process Modeling and Analysis Formal Methods in Verification

Publication details

Journal / source
International Journal of Applied Mathematics and Computer Science
Volume
36
Issue
3
Publication date
1 January 2026
Language
EN