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

一种具有进程代数特征的Petri网模型—进程网 郭峰，邓蒙蒙，杨颜公 （北方工业大学信息工程学院 北京 100144） 摘要：提出一种新的融合进程代数特征的 Petri 网模型—进程网。进程网既具有传统 Petri 网的图形化表示方式，又具有进程 代数的语法形式。基于六种组合算子，复杂进程网可由简单进程网组合而成。给出了进程网的结构化操作语义，可以运用进 程代数和 Petri 网两种形式化模型的分析方法对进程网进行分析。通过一个应用实例说明了进程网的应用和分析方法。 关键词: Petri 网, 进程代数，结构化操作语义 A Petri Net Model Has the Characteristics of Process Algebra – Process Net Guo Feng, Deng Mengmeng，Yang Yangong （ School of Information and Engineering, North China University of Technology, Beijing 100144,China) Abstract: A new Petri net model named Process Net (PrN) is presented which has the characteristics of Process Algebra. By means of six type composition operators, complex Process Net can be constructed from simple ones. A structured operational semantic for Process Net is defined so that a process net can be analyzed by Process algebra or Petri nets methods. An application example to illustrate the application and analysis method of Process Net is described. Keyword: Petri Net, Process Algebra, Structured Operational Semantics Petri 网语义上的实现，而本文的目的主要是给出Petri 网的 代数系统。 1、引言 本文结构如下： 第 2 节给出进程网的定义以及各种操作符。第 3 节给 Petri 网和进程代数是描述并发系统的两种主要模型， 出其操作语义。第4节通过一个实例说明进程网操作语义的 进程代数和 Petri 网具有明显的优缺点，关于进程代数与 用途。第5节对本文的工作做出总结与展望。 petri 网的争论非常激烈。Petri 网的主要缺点是缺乏可组合 性以及建模复杂系统时的节点爆炸问题。为克服这些问题， 2、进程网 研究人员提出了各种高级 petri 网模型，如层次petri 网、着 色网、模块网等，论文[1，2]对此领域的研究成果做了综述 2.1 基于Petri网的进程网定义 性介绍。进程代数天然具有可组