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

• 作者: 石万林 郭峰
• 来源期刊: 数字技术与应用
• 学科: 工学
• 关键词: Petri网 进程代数 结构化操作语义
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 应用研究
• 页码范围: 44-45
• 页数: 2页
• 分类号: TP311.52
• 字数: 2789字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭峰	北方工业大学信息工程学院	20	41	4.0	5.0
2	石万林	北方工业大学信息工程学院	1	1	1.0	1.0