Petri网本原可重复向量的求解算法及实现

被引：6

作者：

岳昊

吴哲辉

刘关俊

机构：

[1] 山东科技大学信息科学与工程学院

来源：

小型微型计算机系统 | 2009年 / 30卷 / 09期

关键词：

Petri网; 本原可重复向量集; 算法;

D O I：

暂无

中图分类号：

TP301.1 [自动机理论];

学科分类号：

081202 ;

摘要：

Petri网本原可重复向量是一个重要结构性质.本文定义了网N的可重复向量表出集pre-SPRV(N),证明一个网的本原可重复向量集是唯一的,并且给出它的一个求解算法.算法首先求出网N变迁扩充网的所有极小T-不变量,由此求得N的一个可重复向量表出集,然后依次考察其中的每一个向量,将其中的多余向量去掉,得出网N的本原可重复向量集.最后算法被实现并用于实例以展示算法性能,相关算法的程序实现可以作为已有Petri网分析工具的一个组件.

引用

页码：1815 / 1818

页数：4