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