Petri网可达性的综合判定法

摘要：

Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的"综合判定法".此判定方法综合多种传统判定方法的优点,结合Gr(o)bner基理论,确保了对Petri网标识可达性进行判定所得结果的可靠性.

关键词：Petri网、可达性、Grobner基

所属期刊栏目：15

分类号：TP301(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2003AA71 2030

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

页数：共7页

页码：949-955