ZENG, Q. Language, Liveness and Fairness Invariant in Decomposition of Petri Net Based on the Index of Place. INFOCOMP Journal of Computer Science, [S. l.], v. 5, n. 1, p. 11–18, 2006. Disponível em: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/117. Acesso em: 4 may. 2024.