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

摘要：

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

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

作者: 曾庆田 范昊 吴哲辉

作者单位: 山东科技大学,信息科学与工程学院,青岛,266510

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 7-11

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