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