Radom, Marcin ; Formanowicz, Piotr
Współtwórca:Okarma, Krzysztof - ed. ; Skrzypczyński, Piotr - ed. ; Stefanowski, Jerzy - ed.
Tytuł: Podtytuł: Tytuł publikacji grupowej: Temat i słowa kluczowe:Petri nets ; time constraints ; tokens with lifetimes
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.
Wydawca:Zielona Góra: Uniwersytet Zielonogórski
Data wydania: Typ zasobu: DOI: Strony: Źródło:AMCS, volume 36, number 3 (2026)
Jezyk: Licencja CC BY 4.0: Prawa do dysponowania publikacją: