合成Petri网P不变量的性质分析

摘要：

针对Petri网两种合成操作(共享合成、同步合成),采用组合原Petri网不变量生成合成Petri网不变量的方法,研究了合成Petri网P不变量的变化规律.对于同步合成Petri网,当原Petri网邻接矩阵的秩不超过各自转移数与共享转移数的差时,合成网的P不变量可以用原网P不变量的线性组合表示.对于共享合成Petri网,网的P不变量的位置投影是原网的P不变量;当原Petri网的P不变量线性相关时,可用其线性组合表示合成网的P不变量.

关键词：系统分析、Petri网合成、P不变量、最小支撑不变量

所属期刊栏目：29

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

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

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

页数：共4页

页码：1349-1352