信息/求解 Petri 网系统

绝大多数 Petri 网在变迁发生后前集库所会失去标记,不便于表达一个条件一旦具备将永远具备的情形.针对该问题,基于0-1标识与变迁发生后其前集不失去标记的思想,提出了信息/求解扩展 Petri 网系统(I/S系统).给出了I/S系统的相关定义、部分基本性质、矩阵表示、求解发生权向量的求法和状态方程.最后,给出了以I/S系统表示的几种常见滑模变结构控制策略的设计过程,该例显示了I/S系统的模型表达能力.

Information/solver Petri net system

In most Petri nets,a place will lose its token when its post transaction is fired,which makes it inconvenient to explain that a condition will be true forever once it is true.Hence a new type of extended Petri net known as information/solver system(I/S-system) was proposed.In I/S-system,marking value is boolean;every place will hold its token forever once it gets a token.The fundamental definition,property,matrix expression,algorithm for vector of solvers and state equation of I/S-system were given.I/S-system model of several common design processes of sliding mode control was offered as an example.The example shows the modeling ability of I/S-system.