活的单支Petri网的一个可达性判定方法

摘要：

可达性是Petri网的最基本的动态性质之一。它是研究Petri网其它动态性质的基石,许多Petri网的其他问题都可以通过其可达性来表述。已有文献提出通过解petri网的状态方程并判定对应与其解的变迁序列是否可从初始标识引发来分析petri网的可达性,这往往有一定的困难.本文给出一个活Petri网子类活的单支petri网,并给出它的一个可达性判定方法。

关键词： 状态方程 Petri网 可达性判定

作者: 高茜 邱经华

作者单位: 山东大学计算机科学与技术学院,济南 250061 山东轻工业学院现代教育技术中心,济南 250353

会议类型: 国内会议

会议名称: 全国第18届计算机技术与应用学术会议(CACIS)

会议地点: 浙江宁波

会议语种:中文

页码: 265-269

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