变迁耦合网的T-不变量求解算法

摘要：

首先定义了变迁耦合网及相关概念,其次揭示了变迁耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,根据是否与耦合变迁有关,将N的极小T-不变量分为两类MTS1和MTS2,然后给出了变迁耦合网所有极小T-不变量的求解算法,并给出了两个简单例子加以说明,最后编程实现所提算法并给出初步实验数据.试验结果说明,本文所提算法比现有算法节省大量计算开支.

关键词：Petri网、变迁耦合网、不变量

所属期刊栏目：35

分类号：O15;TU9

资助基金：国家自然科学基金60673053

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

页数：共5页

页码：178-182