稳定有界Petri网的进程表达式

摘要：

文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法.定义了一类有界Petri网--稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Petri网的进程表达式.另外,还给出了由符合一定条件的S-网的进程表达式来构造其同步合成网的进程表达式的算法.

关键词：有界Petri网、进程表达式、基本子进程、S-网

所属期刊栏目：38

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

资助基金：国家重点研究发展计划课题2010CB328101;国家"八六三"高技术研究发展计划基金项目2009AA01Z401;国家自然科学基金项目90718012;上海市基础研究重点项目08JC1419300

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

页数：共5页

页码：55-58,67