10.3969/j.issn.1009-3044.2011.05.057
一般网中结构公平的极小标识的求解算法
公平性(fairness)是Petri网的基本性质.在该文中利用网的关联矩阵求解出一般网中的基本可重复向量组,在其中找出该网的极小支集,并构造出该极小支集构的外延子网,然后利用文献[1]中给出的方式求解结构公平网的极小标识,得到了一个多项式时间算法.
Petri网、冲突、公平性、T-不变技术、关联矩阵
7
TP393(计算技术、计算机技术)
2011-06-21(万方平台首次上网日期,不代表论文的发表时间)
共4页
1099-1102