A Simulation Method of Controlled Hybrid Petri Nets Based on Matlab Simulink/Stateflow

Integrated with Matlab environment, Simulink and Stateflow are used to simulate complex systems and event- driven systems. In this paper, they are applied to simulate controlled hybrid Petri nets. The continuous parts and the discrete parts of controlled hybrid Petri nets are constructed separately by Simulink and Stateflow. Basic rules and steps are developed to construct a corresponding Simulink/Stateflow model from a given controlled hybrid Petri nets model. An example about modeling a typical controlled hybrid Petri nets is given, and the results show that the presented method is easily used, all- purpose and can be extended.