进程网的细化研究

• 作者: 郭峰
• 来源期刊: 数字技术与应用
• 关键词: 进程网 细化规则 层次结构 自顶向下
• 年，卷（期）: 2021,（1）
• 所属期刊栏目: 应用研究
• 页码范围: 94-97,228
• 页数: 5页
• 分类号: TP301
• 语种: 中文
• DOI: 10.19695/j.cnki.cn12-1369.2021.01.30

摘要

进程网是结合Petri网和进程代数定义的一种网结构,用于并发异步系统的建模.进程网的细化是用复杂的结构替换高层的简单结构支持自顶向下逐步求精的建模过程.定义了进程网的五种细化规则:子网细化、同步细化、选择细化、循环细化、通信细化,实现了支持进程网建模和细化的工具.通过进程网的细化操作可以反映模型的层次关系,有助于系统模型的分析.