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 (Mar. 2006), 11–18.