Pu F, Lu W M.Preservation of liveness and deadlock-freeness.in synchronous synthesis of Petri net systems[J].Chinese Journal of Software, 2003, 14(12): 1977- 1988 (in Chinese).

• [7]蒲飞；陆维明.；同步合成Petri网系统活性与无死锁性的保持性[J]