Time Petri Net-Based Software Reliability Analysis

Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 180)

Abstract

Petri net is one of effective approaches to analysis of system reliability. In this paper, reliability of a control system for railway intersection exemplifies usage of Petri net. The reliability of the system is analyzed using Petri net. The example is intended to deepen our understanding of Petri net application.

Keywords

Petri net software reliability risk key state 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Fan, L.-B., Zhao, M.: Similarity and distinction between software reliability and hardware reliability. Journal of Guizhou University 24(2), 166 (2007)MathSciNetGoogle Scholar
  2. 2.
    Lu, Y., Xu, R.: System reliability. Machinery Industry Press, Beijing (2008)Google Scholar
  3. 3.
    Wu, Z.: Introduction to Petri nets. Machinery Industry Press (2006)Google Scholar
  4. 4.
    Li, T., Li, D., Sun, X.: Process scheduling based on Petri net modeling. Computer and Information Technology, 39 (2011)Google Scholar
  5. 5.
    Liu, C.-Y., Li, Y.-Q., Wen, Y.-F.: A method of power system restoration based on Timed Petri Nets. Journal of System Simulation 19(1) (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  1. 1.Dept. of Computer ScienceZunyi Normal CollegeZunyiChina

Personalised recommendations