A methodology based on a Petri Net model for control process safety: Application to a steering axletree control

the main object of this work is to give an original approach for a safety control system design. The proposed technique is based on a Petri Net model. While the size of the model is proportional to the complexity of the controller, the Petri Net model can be huge and then very difficult to analyze. That is why we propose to decompose it into a lot of small subsystems. Thus, the subsystems are studied separately and the properties of the main system can be deduced. The proposed technique for subsystem study is algebraic. We compute the invariants for each subsystem. This methodology is applied to steering axletree control.