SAMOLEJ, S.; SZMUC, T. 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: 24 nov. 2024.