Author Details

Szmuc, Tomasz, AGH University of Science and Technology, Poland

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