An algorithm for deriving critical scenarios in mechatronic systems

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.