Zeng, Qingtian. “Language, Liveness and Fairness Invariant in Decomposition of Petri Net Based on the Index of Place”. INFOCOMP Journal of Computer Science 5, no. 1 (March 1, 2006): 11–18. Accessed May 4, 2024. https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/117.