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

摘要

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