SAMOLEJ, Slawomir; SZMUC, Tomasz. TIME EXTENSIONS OF PETRI NETS FOR MODELLING AND YERIFICATION OF HARD REAL-TIME SYSTEMS. Computer Science, [S. l.], v. 4, n. 1, 2020. DOI: 10.7494/csci.2002.4.1.3599. Disponível em: https://journals.agh.edu.pl/csci/article/view/3599. Acesso em: 9 apr. 2025.