变计时过程/变迁网模型及其应用研究

Research on time-varied process/transition Petri net and its applications

基于过程运行的离散标识(逻辑变量)和剩余时间连续标识(时间变量),提出一种新的混合标识过程/变迁网——变计时过程/变迁网模型.基于该模型,混杂动力学系统离散事件的实时监控、连续子过程的实时调度等问题可得到有效解决.

Based on process running discrete mark (logic variables) and process running remanent time (time variables), a new model of process/transition Petri nets with mixed-mark, named time-varied process/transition Petri nets, is proposed. Many problems of hybrid dynamics systems, such as the integrated modeling of continuous sub-processes, the coupling and joining between discrete variables and continuous states, the real-time supervisory control of discrete events, the real-time scheduling of continuous sub- processes, etc. can be solved effectively with this model.