Abstract
In implementing any hazard analysis method, there is a need to reason deductively for identifying all possible fault origins that could lead to an undesirable consequence. Due to the complex time-variant cause-and-effect relations between events and states in sequential operations, the manual deduction process is always labor intensive and often error-prone. The theme of the present study is thus concerned mainly with the development of Petri-net based reasoning algorithms for automating such cause-finding procedures. The effectiveness and correctness of this approach are demonstrated with a realistic example in this paper.
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
Ramchandani, C.: Analysis of asynchronous concurrent systems by Petri nets. Project MAC, TR-120. M. I. T., Cambridge (1974)
Wang, Y.F., Wu, J.Y., Chang, C.T.: Automatic Hazard Analysis of Batch Operations with Petri Nets. Reliab. Eng. Syst. Saf. 76(1), 91–104 (2002)
Wang, Y.F., Chang, C.T.: A Hierarchical Approach to Construct Petri Nets for Modeling the Fault Propagation Mechanisms in Sequential Operations. Comput. Chem. Eng. 27(2), 259–280 (2003)
Shaeiwitz, J.A., Lapp, S.A., Powers, G.J.: Fault Tree Analysis of Sequential Systems. Ind. Eng. Chem. Process Des. Dev. 16(4), 529–549 (1977)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, YF., Chang, CT. (2003). A Petri-Net Based Reasoning Procedure for Fault Identification in Sequential Operations. In: Palade, V., Howlett, R.J., Jain, L. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2003. Lecture Notes in Computer Science(), vol 2773. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45224-9_171
Download citation
DOI: https://doi.org/10.1007/978-3-540-45224-9_171
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40803-1
Online ISBN: 978-3-540-45224-9
eBook Packages: Springer Book Archive