Samolej, S., and T. Szmuc. “TIME EXTENSIONS OF PETRI NETS FOR MODELLING AND YERIFICATION OF HARD REAL-TIME SYSTEMS”. Computer Science, vol. 4, no. 1, Jan. 2020, doi:10.7494/csci.2002.4.1.3599.