活性单调性相关论文
该文利用结构分析理论,结合化简技术,分别从控制的角度与合成分解的角度对非对称选择网的主要行为特征--活性(包括有界性)进行了深入......
活性是Petri网的重要行为特征之一.为了得到判定AC网活性有效的算法,本文利用分治的思想,在定义极小死锁的前、后归约子网的基础上......
根据Petri网结构理论,讨论非对称选择网(AC)的一个子类:新扩展强化非对称选择网(NESAC)的有界性与活性单调性.判定NESAC网N结构有......