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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Fan, L.-B., Zhao, M.: Similarity and distinction between software reliability and hardware reliability. Journal of Guizhou University 24(2), 166 (2007)
Lu, Y., Xu, R.: System reliability. Machinery Industry Press, Beijing (2008)
Wu, Z.: Introduction to Petri nets. Machinery Industry Press (2006)
Li, T., Li, D., Sun, X.: Process scheduling based on Petri net modeling. Computer and Information Technology, 39 (2011)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yang, M. (2013). Time Petri Net-Based Software Reliability Analysis. In: Du, Z. (eds) Intelligence Computation and Evolutionary Computation. Advances in Intelligent Systems and Computing, vol 180. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31656-2_34
Download citation
DOI: https://doi.org/10.1007/978-3-642-31656-2_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31655-5
Online ISBN: 978-3-642-31656-2
eBook Packages: EngineeringEngineering (R0)