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), pp. 11–18. Available at: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/117 (Accessed: 4 May 2024).