计算无回路Petri网位置不变量的几何方法

被引：4

作者：

张东红

蔡崇春

邢科义

机构：

[1] 安康师范专科学校应用数学系,安康师范专科学校应用数学系,西安电子科技大学理学院陕西安康,陕西安康,陕西西安

来源：

西北大学学报(自然科学版) | 2002年 / 02期

关键词：

路增益; 无回路加权事件图; 位置不变量; 无回路Petri网;

D O I：

10.16152/j.cnki.xdxbzr.2002.02.021

中图分类号：

TP274 [数据处理、数据处理系统];

学科分类号：

140102 [集成电路设计与设计自动化];

摘要：

基于路增益概念 ,证明了无回路加权事件图位置不变量的存在性 ,并给出了其位置不变量集合的表达形式和最小位置不变量的计算方法。讨论了两个 Petri网基于位置并的位置不变量 ,通过把无回路 Petri网分解成一些加权事件图基于位置的并 ,给出了无回路 Petri网位置不变量的存在性判别及确定的几何方法

引用

页码：157 / 160

页数：4