HHCC001的博客

一、结构有界性&守恒性1. 结构有界性定义：设N=(P,T;F)为一个网。对N赋予任意的初始标识M0，网(N,M0)都是有界的，则称N为结构有界网；再回忆一下什么是有界petri网：在PN=(P,T;F,M0)中，，库所p都有界，则称PN为有界petri网。区别在于是不是任意初始标识 什么是库所有界： 定理：设A为网N=(P,T;F)的关联矩阵，N是结构有界网的充分必...

 一、标识S-图S-图定义：定义：网N=(P,T;F)是S-图或状态机当且仅当：，而带有标识的S-图称为标识S-图。将S-图中的变迁撤掉可以简化为有向图SG=(P,E)我对S-图的理解：所有的变迁都是单进单出。S-图的性质：1、设N=(P,E)是一个S-图，则；（运行过程中标识数不变）2、若N是一个S-图，对于任意的初始标识M0，（N,M0）都是有界的；3、...