Petri网进程的描述方法研究综述

摘要：

综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.

关键词：Petri网、进程、满进程、基本进程段、进程表达式、进程网系统

所属期刊栏目：17

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

资助基金：国家自然科学基金;山东省自然科学基金

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

页数：共5页

页码：7-11