基于资源配置混杂Petri网的混杂系统生产过程建模

为了增强混杂Ｐｅｔｒｉ网解决资源共享和资源冲突的能力，定义一种新的混杂Ｐｅｔｒｉ网模型———资源配置混杂Ｐｅｔｒｉ网，提出了相应的使能和激发规则．将对连续变迁和离散变迁的控制作用引入混杂Ｐｅｔｒｉ网，同时，增加了资源配置变迁和资源释放变迁，用于有效分配可重复利用的资源．以典型的混杂生产过程为例，研究混杂系统生产过程建模．研究结果表明，所定义的模型描述能力强，模型语义正确合理，能够有效描述和分析混杂系统生产过程．

Modeling for hybrid system based on resource distribution hybrid Petri nets

In order to enhance the ability of hybrid Petri nets for solving resource sharing and conflict, a new extended Petri net model, resource distribution hybrid Petri net (RDHPN), is defined. The enabling and firing semantics of transitions of the RDHPNs are discussed. The control of continuous transitions and discrete transitions is introduced to hybrid Petri nets, and resources assignment transitions and resources releasing transitions are added, which can assign reusable resources. An application example of typical hybrid system shows the describing ability of the model is well and the meaning is reasonable, which can describe and analyse the producing process of the hybrid systems.