Computer Science ›› 2016, Vol. 43 ›› Issue (11): 83-87.doi: 10.11896/j.issn.1002-137X.2016.11.015

Previous Articles     Next Articles

Hierarchy Structure of Process Net

GUO Feng, QIAO Lei and MAO Wen-xiang   

  • Online:2018-12-01 Published:2018-12-01

Abstract: 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.

Key words: Process net,Hierarchy structure,Refinement,Binary tree

[1] 吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:1-3
[2] Guo Feng,Deng Meng-meng,Yang Yan-gong.Design and implementation of process net modeling tool[J].Journal of North China Univ.of Tech,2014,6(1):1-2(in Chinese) 郭峰,邓蒙蒙,杨颜公.进程网建模工具的设计与实现[J].北方工业大学学报,2014,6(1):1-2
[3] Zhang Ji-jun,Wu Zhe-hui.Hierarchial Recursive Model of Petri Net[J].Journal of System Simulation,2003,5(Supplement):90-92(in Chinese) 张继军,吴哲辉.Petri网的分层递归模型[J].系统仿真学报,2003,5(增刊):90-92
[4] Ao Li-min,Wang Shu-da.A Developing Model for Software Work-flow Based Hierarchical Petri Net[J].Computer Science,2004,1(9A):234-247(in Chinese) 敖丽敏,王树大.一种基于分层Petri网的软件工作流开发模型[J].计算机科学,2004,1(9A):234-247
[5] Shen Bin,Yao Min,Yi Wen-sheng.Hierarchical Petri nets basedsoftware requirement refinement for Web service[J].Journal of Zhejiang University(Engineering Science),2006,0(6):1045-1050(in Chinese) 沈斌,姚敏,易文晟.基于分层Petri网的面向服务需求求精[J].浙江大学学报,2006,0(6):1045-1050
[6] Guo Feng,Wei Guang,Deng Meng-meng.A Service OrientedPetri Net Model and It’s Stucutral Operational Semantics [J].Journal of Chinese Computer Systems,2013,2(12):2739-2740(in Chinese) 郭峰,魏光,邓蒙蒙.一种面向服务Petri网模型及其结构化操作语义[J].小型微型计算机系统,2013,2(12):2739-2740
[7] Fu Zuo-wei,Yue Xiao-bo,Wang Hui-ying.Workflow model basedon extended weighted and timed Petri net[J].Computer Engineering and Applications,2014,0(15):55-58(in Chinese) 傅作为,乐晓波,王慧英.加权的时间Petri网工作流模型研究[J].计算机工程与应用,2014,0(15):55-58
[8] Hao Ke-gang.Open net-Model of interactive parallel system[J].Journal of Northwest University(Natural Science Edition),1997,7(6):461-466(in Chinese) 郝克刚.开放网—交互式并行系统的模型[J].西北大学学报(自然科学版),1997,7(6):461-466
[9] Hao Ke-gang.Object oriented model and software system theory[J].Journal of Northwest University(Natural Science Edition),1993,3(5):397-401(in Chinese) 郝克刚.面向对象模型和软件系统论[J].西北大学学报(自然科学版),1993,3(5):397-401
[10] Koutny M,Esparza J,Best E.Operational semantics for the Petri Box Calculus[M]∥LNCS836:5th International Conference Uppsala.Sweden:Springer Berlin Heidelberg,1994:219-220
[11] Wan He-ping,Wang Ming-zhe.Modeling and Analysisof Hierarchical Petri Net-based Workflow[J].Computer Engineering and Applications,2005,1(15):211-214(in Chinese) 万和平,王明哲.层次工作流Petri网建模与分析[J].计算机工程与应用,2005,1(15):211-214
[12] Brauer W,Gold R,Vogler W.A Survey of Behavior and Equiva-lence Preserving Refinement of Petri Nets[C]∥LNCS483:Advances in Petri Nets 1990.Berlin,Germany:Springer-Verlag,1991:1-46
[13] Zhou Yue-ming,Du Yu-yue,Liu Wei.Layer Modeling of Fault-tolerant System Based on Petri Nets[J].Computer Engineering,2010,6(2):39-41(in Chinese) 周月明,杜玉越,刘伟.基于Petri网的容错系统分层建模[J].计算机工程,2010,6(2):39-41
[14] Pu Fei,Lu Wei-ming.Preservation of Liveness and Deadlock-Freeness in Synchronous Synthesis of Petri Net Systems[J].Journal of Software,2003,4(12):1977-1978(in Chinese) 蒲飞,陆维明.同步合成Petri网系统活性与无死锁性的保持性[J].软件学报,2003,4(12):1977-1978
[15] Liu Gang,Xia Chuan-liang.A Petri Net Refinement Method and its Applications[J].Computer Science,2006,3(11A):299-302(in Chinese) 刘刚,夏传良.一种Petri网精细化方法及其应用[J].计算机科学,2006,3(11A):299-302
[16] Zhang Tao,Zhang Feng-lin,Tan Yue-jin.Multi-level PERT-Petri net model for process simulation[J].Systems Engineering and Electronics,2004,6(1):48-51(in Chinese) 张涛,张凤林,谭跃进.流程仿真的多层次PERT-Petri网模型[J].系统工程与电子技术,2004,6(1):48-51
[17] Fu Yong.An Algorithm in C++for B uilding Huffman Treewith Min-Heap[J].Computer Applications and Software,2011,8(3):253-256(in Chinese) 付勇.一个利用小顶堆构造哈夫曼树的C++算法[J].计算机应用与软件,2011,8(3):253-256

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!