结构有界性相关论文
将实数域上的Farkas引理进行推广，提出整数环上的Farkas引理．之后，利用整数环上的Farkas引理证明了一个有关Petri网结构有界性的判定......
Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具，当用Petri网来模拟一个实际系统时，关心的问题之一就是要确定......
对最大速度恒定的连续Petri网(CCPN)的结构有界性、守恒性、公平性进行了定义,并给出了判定定理.进而定义了最大速度恒定的连续Pet......
期刊
