Control verification of a chemical automated process by mixed Petri nets

This paper presents a method to model and verify a chemical automated process in order to validate its supervision model by analyzing the structure of a mixed Petri net (MPN) model and simulating it in closed loop with the process model. The supervised process is first modeled with MPN. Its qualitative. features are represented by Petri nets interpreted with algebro-differential equations taking into account-the continuous evolutions. These two modeling tools are integrated into a MPN, which encapsulate the structuration power of Petri nets and the continuous description power of differential-algebraic equations.