一种具有进程代数特征的Petri网模型-进程网

摘要：

提出一种新的融合进程代数特征的Petri网模型—进程网.进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式.基于六种组合算子,复杂进程网可由简单进程网组合而成.给出了进程网的结构化操作语义,可以运用进程代数和Petri网两种形式化模型的分析方法对进程网进行分析.通过一个应用实例说明了进程网的应用和分析方法.

关键词： Petri网 进程代数特征 结构化操作语义 形式化模型

作者: 郭峰 邓蒙蒙 杨颜公

作者单位: 北方工业大学信息工程学院 北京 100144

会议类型: 国内会议

会议名称: 第十四届全国Petri 网理论与应用学术年会

会议地点: 西安

会议语种:中文

页码: 1-5

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