进程网的细化研究

Research on Refinement of Process Net

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

Process net is a kind of net structure defined by Petri net and process algebra,which is used to model concurrent asynchronous system.The refinement of process network is a modeling process of replacing simple high-level structure with complex structure to support top-down refinement step by step.Five refinement rules of process network are defined:subnet refinement,synchronous refinement,selection refinement,cycle refinement and communication refinement.A tool supporting process network modeling and refinement is implemented.The detailed operation of process network can reflect the hierarchical relationship of the model,which is helpful to the analysis of system model.