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