新扩展强化非对称选择网的有界性与单调性

摘要：

根据Petri网结构理论,讨论非对称选择网(AC)的一个子类:新扩展强化非对称选择网(NESAC)的有界性与活性单调性.判定NESAC网N结构有界的充分必要条件是,N被极小死锁簇覆盖,每个非空极小死锁H-定是个陷阱且满足|t*∩H|=|t*∩H|=1.NESAC网仍然具有ESAC活性单调性的特征.

关键词：非对称选择网(AC网)、结构活、活性单调性、结构有界

所属期刊栏目：39

分类号：TP301(计算技术、计算机技术)

资助基金：四川省应用基础研究计划03226125

在线出版日期：2004-12-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：656-659