Samolej, S., & Szmuc, T. (2020). TIME EXTENSIONS OF PETRI NETS FOR MODELLING AND YERIFICATION OF HARD REAL-TIME SYSTEMS. Computer Science, 4(1). https://doi.org/10.7494/csci.2002.4.1.3599