Petri网中S不变量和T不变量的算法

• 来源期刊: 山东农业大学学报（自然科学版）
• 学科: 工学
• 关键词: Petri网 T不变量 S不变量 虹吸 陷阱
• 年，卷（期）: 2008,（3）
• 页码范围: 471-474
• 页数: 4页
• 分类号: TV213.4
• 字数: 2529字
• 语种: 中文

摘要

在Petri网中,不变量、虹吸和陷阱的求解是一个重要的问题,本文拟用数学方法-矩阵变换和数理逻辑两种方法进行探讨.根据矩阵理论,提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法.