进程网及其自顶向下建模技术研究  

作　　者：石万林 郭峰[1] 

机构地区：[1]北方工业大学信息工程学院,北京100144

出　　处：《数字技术与应用》2013年第11期44-45,共2页Digital Technology & Application

基　　金：国家自然科学基金项目(61070030;61010332);北京市大学生科研与创业行动计划

摘　　要：提出一种新的融合进程代数特征的Petri网模型—进程网。进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式。介绍了进程网的四种组合算子,复杂进程网可由简单进程网通过组合算子组合而成。给出了进程网细化的规则及基于进程网的字顶向下建模步骤。

关 键 词：PETRI网 进程代数 结构化操作语义 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]