In: Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC'02), October 6-9, 2002, Hammamet, Tunisia, Volume 3. IEEE Computer Society Press, October 2002.
Abstract: To evaluate the reliability of mechatronic systems, the feared scenarios should be known in order to choose the safe architecture of the system, during the development phase. The aim of this work is to propose an algorithm for deriving the critical scenarios from a Petri net model. These scenarios characterise how the system leaves the normal operation to go to the feared state by determining the sequences of actions and state changes leading to a dangerous situation.