NASSAR, Khaled; CASAVANT, Albert. Analysis of timed petri nets for reachability in construction applications. Journal of Civil Engineering and Management, [S. l.], v. 14, n. 3, p. 189–198, 2008. DOI: 10.3846/1392-3730.2008.14.16. Disponível em: https://mla.vilniustech.lt/index.php/JCEM/article/view/6867. Acesso em: 12 aug. 2025.