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.
- 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.
- 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.
- Boucheneb, H., Barkaoui, K., Xing, Q., Wang, K., Liu, G. and Li, Z. (2022). Time based deadlock prevention for Petri nets, Automatica 137: 110119.
- 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.
- 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.
- 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.
- 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.
- 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.
- Kageyama, R., Ohtsuka, T. and Kobayashi, T. (2007). The Hes gene family: Repressors and oscillators that orchestrate embryogenesis, Development 134(7): 1243–1251.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Murata, T. (1989). Petri nets: Properties, analysis and applications, Proceedings of IEEE 77(4): 541–580.
- 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.
- Popova-Zeugmann, L. (1993). Petri nets with time restrictions, Systems Analysis Modelling Simulation 13(1): 13–20.
- Popova-Zeugmann, L. (2013). Time and Petri Nets, Springer, Berlin.
- Popova-Zeugmann, L. and Pelz, E. (2021). Algebraical characterisation of interval-timed Petri nets with discrete delays, Fundamenta Informaticae 120(3–4): 341–357.
- 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).
- 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.
- 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.
- Sifakis, J. (1980). Performance evaluation of systems using nets, in W. Brauer (Ed.), Net Theory and Applications, Springer, Berlin/Heidelberg, pp. 307–319.
- 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.
- Szawulak, B., Radom, M. and Formanowicz, P. (2022). Comparing Petri net-based models of biological systems using Holmes, Bioinformatics 38(19): 4652–4653.
- 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.
- 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.
- 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.
- 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.
- 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.
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:
Related subjects:
© 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.