Zeng Q. Language, Liveness and Fairness Invariant in Decomposition of Petri Net Based on the Index of Place. INFOCOMP Journal of Computer Science [Internet]. 2006 Mar. 1 [cited 2024 May 4];5(1):11-8. Available from: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/117