Trusted Modeling And Analysis of Complex Software Systems Based on Spatial-temporal Petri Nets
Li Gang, Han Longmei, Zhu Yongli
Journal of System Simulation . 2016, (8): 1740 -1747 .