Time Petri Net-Based Software Reliability Analysis
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.
KeywordsPetri net software reliability risk key state
Unable to display preview. Download preview PDF.
- 2.Lu, Y., Xu, R.: System reliability. Machinery Industry Press, Beijing (2008)Google Scholar
- 3.Wu, Z.: Introduction to Petri nets. Machinery Industry Press (2006)Google Scholar
- 4.Li, T., Li, D., Sun, X.: Process scheduling based on Petri net modeling. Computer and Information Technology, 39 (2011)Google Scholar
- 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