Samolej S, Szmuc T. TIME EXTENSIONS OF PETRI NETS FOR MODELLING AND YERIFICATION OF HARD REAL-TIME SYSTEMS. csci [Internet]. 2020Jan.2 [cited 2024May7];4(1). Available from: https://journals.agh.edu.pl/csci/article/view/3599