Samolej, S.; Szmuc, T. TIME EXTENSIONS OF PETRI NETS FOR MODELLING AND YERIFICATION OF HARD REAL-TIME SYSTEMS. csci 2020, 4.