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