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

Authors

Li Gang, 1. School of Control and Computer Engineering, North China Electric Power University, Baoding 071003, China;;2. State Key Laboratory of Alternate Electric Power System with Renewable Energy Sources (NCEPU), Beijing 102206, China;
Longmei Han, 1. School of Control and Computer Engineering, North China Electric Power University, Baoding 071003, China;;
Yongli Zhu, 1. School of Control and Computer Engineering, North China Electric Power University, Baoding 071003, China;;2. State Key Laboratory of Alternate Electric Power System with Renewable Energy Sources (NCEPU), Beijing 102206, China;

Abstract

Abstract: Complexity of complex software system is not only due to the coupling correlation software itself, but also the Internet environment has great influence on the complex software system, and it has not existed independently from the external environment. Petri net uses of place and transition meet the modeling of distributed system, support concurrency and asynchronous, but the basic Petri net can't completely describe the characteristic of complex software systems with time constraints. A Petri net modeling method based on spatial and temporal was proposed. From aspects of synergetic and software behavior, constraints on the characteristics of spatial and temporal, this method established credibility analysis model of complex software system, and considered the influence of external environment for complex software systems, and analyzed credibility of complex software system under the environment influence. In complex network software system as the analysis object, the simulation results show that this model is able to analyze the credibility of the spatial-temporal complex software system.

Recommended Citation

Gang, Li; Han, Longmei; and Zhu, Yongli (2020) "Trusted Modeling And Analysis of Complex Software Systems Based on Spatial-temporal Petri Nets," Journal of System Simulation: Vol. 28: Iss. 8, Article 5.
Available at: https://dc-china-simulation.researchcommons.org/journal/vol28/iss8/5

First Page

1740

Revised Date

2015-08-24

DOI Link

https://doi.org/

Last Page

1747

CLC

TP391.9

Recommended Citation

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