Samolej, Slawomir, Rzeszow University of Technology, Poland

• Computer Science Vol. 4 - Articles
  TIME EXTENSIONS OF PETRI NETS FOR MODELLING AND YERIFICATION OF HARD REAL-TIME SYSTEMS
  Abstract  PDF