基于时空Petri网的复杂软件系统可信建模与分析

李刚, 韩龙美, 朱永利

Trusted Modeling And Analysis of Complex Software Systems Based on Spatial-temporal Petri Nets

Li Gang, Han Longmei, Zhu Yongli

系统仿真学报 . 2016, (8): 1740 -1747 .