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