Samolej, Slawomir, and Tomasz Szmuc. “TIME EXTENSIONS OF PETRI NETS FOR MODELLING AND YERIFICATION OF HARD REAL-TIME SYSTEMS”. Computer Science 4, no. 1 (January 2, 2020). Accessed April 8, 2025. https://journals.agh.edu.pl/csci/article/view/3599.