The characters of the system software safety analysis with Petri nets are summedup.

• 总结了基于Petri网的系统软件安全性分析的特点。