Q. Zeng, “Language, Liveness and Fairness Invariant in Decomposition of Petri Net Based on the Index of Place”, INFOCOMP Journal of Computer Science, vol. 5, no. 1, pp. 11–18, Mar. 2006.