层次结构的进程网

Hierarchy Structure of Process Net

进程网(Process Net)是一种结合进程代数和Petri网理论的Petri网模型。当系统过于复杂时,进程网系统模型在实际应用中会遇到节点爆炸的问题,此时需要引入层次结构。提出了层次结构的进程网,给出了层次进程网的建模过程和实现算法,解决了大的复杂系统建模和状态空间爆炸问题,可以清楚地反映出模型的层次,便于对进程网进行细化得到准确的模型,也便于用逐步求精、自顶向下的方法对被模拟系统进行建模,帮助用户实现各种粒度的仿真服务。

Process net is a novel petri net model with a combination of process algebra and petri net theory.Process net system model is used in practical applications,however,when the system is too complicated,node explosion problem will be encountered,at this moment,it is necessary to introduce process net with hierarchy.A process net with hierarchical structure was presented and the hierarchical model and modeling algorithm were given.It solves the propblem of large,complex systems modeling and settles space explosion.It can clearly reflect the level of model,so as to facilitate the process net refinement to obtain the accurate model.It also makes it easy to use stepwise refinement,top-down approach to complete modeling of the simulate system and help users to achieve a variety of size simulation services.