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