计算机工程-合成Petri网P不变量的性质分析

• 作者: 刘俊先 姜志平 罗雪山
• 来源期刊: 中国学术期刊文摘
• 学科: 工学
• 关键词: 系统分析 Petri网合成 P不变量 最小支撑不变量
• 年，卷（期）: 2008,（4）
• 页码范围: 178
• 页数: 1页
• 分类号: TP393.0
• 语种: 中文

摘要

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