层次结构的进程网

doi:10.11896/j.issn.1002-137X.2016.11.015

计算机科学 ›› 2016, Vol. 43 ›› Issue (11): 83-87.doi: 10.11896/j.issn.1002-137X.2016.11.015

• 2015 第十五届全国Petri 网理论与应用学术会议 • 上一篇下一篇

层次结构的进程网

郭峰,乔磊,毛文祥

北方工业大学计算机学院北京100144,北方工业大学计算机学院北京100144,北方工业大学计算机学院北京100144

出版日期:2018-12-01 发布日期:2018-12-01
基金资助:
本文受国家自然科学基金(61070030,1),北京市教委人才创新团队计划(4062012),2015年北京市大学生科学研究与创业计划项目成果资助

Hierarchy Structure of Process Net

GUO Feng, QIAO Lei and MAO Wen-xiang

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

摘要/Abstract

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

关键词: 进程网,层次结构,细化,二叉树

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

郭峰,乔磊,毛文祥. 层次结构的进程网[J]. 计算机科学, 2016, 43(11): 83-87. https://doi.org/10.11896/j.issn.1002-137X.2016.11.015

GUO Feng, QIAO Lei and MAO Wen-xiang. Hierarchy Structure of Process Net[J]. Computer Science, 2016, 43(11): 83-87. https://doi.org/10.11896/j.issn.1002-137X.2016.11.015

参考文献

[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

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

层次结构的进程网

Hierarchy Structure of Process Net

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0