Extended Time Petri Nets

Marcin Radom; Piotr Formanowicz

doi:10.61822/amcs-2026-0024

.blurhash-client-img { display: none !important; }

Extended Time Petri Nets

International Journal of Applied Mathematics and Computer Science

Volume 36 (2026): Issue 3 (September 2026)

By: Marcin Radom and Piotr Formanowicz

Open Access

|Sep 2026

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.

References

Berthomieu, B. and Diaz, M. (1991). Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering 17(3): 259–273.
Search in Google Scholar Back to article
Berthomieu, B. and Menasche, M. (1983). An enumerative approach for analyzing time Petri nets, in R.E.A. Mason (Ed), Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, Elsevier Science Publishers, Amsterdam, pp. 41–46.
Search in Google Scholar Back to article
Bolognesi, T., Lucidi, F. and Trigila, S. (1990). From timed Petri nets to timed LOTOS, Proceedings of the IFIP WG6.1 10th International Symposium on Protocol Specification, Testing and Verification, Ottawa, Canada, pp. 395–408.
Search in Google Scholar Back to article
Boucheneb, H., Barkaoui, K., Xing, Q., Wang, K., Liu, G. and Li, Z. (2022). Time based deadlock prevention for Petri nets, Automatica 137: 110119.
Search in Google Scholar Back to article
Bourdil, P.-A., Berthomieu, B., Zilio, S.D. and Vernadat, F. (2016). Symmetry reduction for time Petri net state classes, Science of Computer Programming 132: 209–225.
Search in Google Scholar Back to article
Coolahan, J.E. and Roussopoulos, N. (1983). Timing requirements for time-driven systems using augmented Petri nets, IEEE Transactions on Software Engineering 9(5): 603–616.
Search in Google Scholar Back to article
Dubois, T., Larsen, K.G. and Srba, J. (2025). Statistical model checking of stochastic timed-arc Petri nets, in E. Amparore and Ł. Mikulski (Eds), Application and Theory of Petri Nets and Concurrency, Springer Nature Switzerland, Cham, pp. 174–196.
Search in Google Scholar Back to article
Jacobsen, L., Jacobsen, M., Møller, M.H. and Srba, J. (2011). Verification of timed-arc Petri nets, in I.Černá et al. (Eds), SOFSEM 2011: Theory and Practice of Computer Science, Springer, Berlin/Heidelberg, pp. 46–72.
Search in Google Scholar Back to article
Jiang, W., Zhou, K.-Q., Sarkheyli-Hägele, A. and Zain, A.M. (2022). Modeling, reasoning, and application of fuzzy Petri net model: A survey, Artificial Intelligence Review 55(8): 6567–6605.
Search in Google Scholar Back to article
Kageyama, R., Ohtsuka, T. and Kobayashi, T. (2007). The Hes gene family: Repressors and oscillators that orchestrate embryogenesis, Development 134(7): 1243–1251.
Search in Google Scholar Back to article
Khansa, W., Denat, J.-P. and Collart-Dutilleul, S. (1996). P-time Petri nets for manufacturing systems, International Workshop on Discrete Event Systems, WODES, Edinburgh, UK, pp. 94–102.
Search in Google Scholar Back to article
Leclercq, L., Lime, D. and Roux, O.H. (2023). A state class based controller synthesis approach for time Petri nets, in L. Gomes and R. Lorenz (Eds), Application and Theory of Petri Nets and Concurrency, Springer Nature Switzerland, Cham, pp. 393–414.
Search in Google Scholar Back to article
Lodish, H.F., Berk, A., Kaiser, C., Krieger, M., Bretscher, A., Ploegh, H.L., Martin, K.C., Yaffe, M.B. and Amon, A. (2021). Molecular Cell Biology, 9th Edn, Macmillan International Higher Education, New York.
Search in Google Scholar Back to article
Merlin, P.M. (1974). A Study of the Recoverability of Computing Systems, PhD thesis, University of California, Irvine, Available online at https://escholarship.org/content/qt1p80c4fg/qt1p80c4fg.pdf.
Search in Google Scholar Back to article
Mizuta, A., Ge, Q.-W. and Matsuno, H. (2017). Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model, Algorithms 10(1), Article no. 4.
Search in Google Scholar Back to article
Moigne, M. L., Mahulea, C., Faraut, G., Bernardi, S., Albareda, J. and Castán, L. (2025). Probabilistic timed Petri nets for clinical pathway design and analysis: A case study, Discrete Event Dynamic Systems 35(3): 205–231.
Search in Google Scholar Back to article
Murata, T. (1989). Petri nets: Properties, analysis and applications, Proceedings of IEEE 77(4): 541–580.
Search in Google Scholar Back to article
Petri, C.A. (1962). Communication with Automata, PhD thesis, Schriften des Instituts fur Instrumentelle Mathematik, Bonn, Available online at https://scispace.com/pdf/communication-with-automata-2v17tps1p5.pdf.
Search in Google Scholar Back to article
Popova-Zeugmann, L. (1993). Petri nets with time restrictions, Systems Analysis Modelling Simulation 13(1): 13–20.
Search in Google Scholar Back to article
Popova-Zeugmann, L. (2013). Time and Petri Nets, Springer, Berlin.
Search in Google Scholar Back to article
Popova-Zeugmann, L. and Pelz, E. (2021). Algebraical characterisation of interval-timed Petri nets with discrete delays, Fundamenta Informaticae 120(3–4): 341–357.
Search in Google Scholar Back to article
Radom, M. and Formanowicz, P. (2022). Algorithmic aspects of extended time Petri nets, in A. Świerniak and J. Krystek (Eds), Automation of Discrete Processes, Vol. 2, Silesian University of Technology Press, Gliwice, pp. 91–102, (in Polish).
Search in Google Scholar Back to article
Radom, M., Rybarczyk, A., Szawulak, B., Andrzejewski, H., Chabelski, P., Kozak, A. and Formanowicz, P. (2017). Holmes: A graphical tool for development, simulation and analysis of Petri net based models of complex biological systems, Bioinformatics 33(23): 3822–3823.
Search in Google Scholar Back to article
Ramchandani, C. (1974). Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, PhD thesis, Massachusetts Institute of Technology, Cambridge, Available online at https://dspace.mit.edu/entities/publication/6a954095-66b6-457e-bc47-0fdd50933aa1.
Search in Google Scholar Back to article
Sifakis, J. (1980). Performance evaluation of systems using nets, in W. Brauer (Ed.), Net Theory and Applications, Springer, Berlin/Heidelberg, pp. 307–319.
Search in Google Scholar Back to article
Sobrino, A., Garrido-Merchán, E.C. and Puente, C. (2021). Fuzzy stochastic timed Petri nets for causal properties representation, New Mathematics and Natural Computation 17(3): 633–653.
Search in Google Scholar Back to article
Szawulak, B., Radom, M. and Formanowicz, P. (2022). Comparing Petri net-based models of biological systems using Holmes, Bioinformatics 38(19): 4652–4653.
Search in Google Scholar Back to article
van der Aalst, Wil M. P.and Leemans, S.J.J. (2025). Learning generalized stochastic Petri nets from event data, in N. Jansen et al. (Eds), Principles of Verification: Cycling the Probabilistic Landscape, Springer Nature Switzerland, Cham, pp. 3–17.
Search in Google Scholar Back to article
Wegener, J.-T. and Popova-Zeugmann, L. (2009). Petri nets with time windows: A comparison to classical Petri nets, Fundamenta Informaticae 93(1–3): 337–352.
Search in Google Scholar Back to article
Yoshimasa, M., Chen, L., Qi-Wei, G., Matsuno, H. and Miyano, S. (2010). On determining firing delay time of transitions for Petri net based signaling pathways by introducing stochastic decision rules, In Silico Biology 10: 49–66.
Search in Google Scholar Back to article
Zhou, J., Wang, J. and Wang, J. (2019). A simulation engine for stochastic timed Petri nets and application to emergency healthcare systems, IEEE/CAA Journal of Automatica Sinica 6(4): 969–980.
Search in Google Scholar Back to article
Zilio, S.D., Fronc, L., Berthomieu, B. and Vernadat, F. (2014). Time Petri nets with dynamic firing dates: Semantics and applications, 12th International Conference, FORMATS, Florence, Italy, pp. 85–99.
Search in Google Scholar Back to article

Articles in this issue

DOI: https://doi.org/10.61822/amcs-2026-0024 | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X

Journal RSS Feed

Language: English

Page range: 377 - 394

Submitted on: Dec 6, 2025

Accepted on: Jun 9, 2026

Published on: Sep 19, 2026

Published by: University of Zielona Góra

In partnership with: Paradigm Publishing Services

Publication frequency: 4 issues per year

Keywords:

Petri nets,

time constraints,

tokens with lifetimes

Related subjects:

Mathematics,

Applied mathematics

© 2026 Marcin Radom, Piotr Formanowicz, published by University of Zielona Góra
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Volume 36 (2026): Issue 3 (September 2026)