Zeng, Q. (2006). Language, Liveness and Fairness Invariant in Decomposition of Petri Net Based on the Index of Place. INFOCOMP Journal of Computer Science, 5(1), 11–18. Retrieved from https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/117