带协同约束弧的微分Petri网及其仿真

Differential Petri net with cooperation inhibit arcs and its simulation

为使Petri网中单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束关系,提出了协同约束弧的概念,并将它与微分Petri网相结合,用以对具有状态反馈控制的混杂系统建模.结合一个二阶线性系统的实例,给出了它的带协同约束弧的微分Petri网模型,并用Stateflow和Simulink结合起来对这种带有协同约束弧的微分Petri网描述与仿真.仿真结果表明:在协同约束弧控制下,适时改变控制策略,将系统切换到不同的相空间,从而使不稳定系统最终在目标区域内稳定运行.

In order to extend simple logic constraint relations of single place versus transitions to complex cooperated constraint relations of multiple places versus transitions, the cooperation inhibit arc is presented. And it is combined to differential Petri net for modeling hybrid system with state feedback. How to build its model of this differential Petri net with cooperation inhibit arcs is shown by an example of second-order linear system. The model is described and simulated by the combination of Stateflow and Simulink. The simulation results show that strategies are changed timely under the control of cooperation inhibit arcs and the system is switched to different phase space, thus the unstable system runs in the target area stably.