Computer Science ›› 2016, Vol. 43 ›› Issue (11): 66-70.doi: 10.11896/j.issn.1002-137X.2016.11.012
Previous Articles Next Articles
LI Hua, XING Yi and ZHANG Yu-rong
| [1] Peterson J L.Petri net theory and the modeling of systems[M].Prentice-Hall PTR,1981 [2] Samanta B,Sarkar B.Application of Petri nets for systems mo-deling and analysis[J].OPSEARCH,2012,49(4):334-347 [3] Jensen K.Coloured Petri nets:basic concepts,analysis methods and practical use[M].Springer Science & Business Media,1997 [4] http://cpntools.org [5] Aalst W M P V D.Petri-net-based workflow management software[C]∥Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems.IEEE Computer Society,1996:114-118 [6] http://www.openstack.org [7] http://www.ibm.com/developerworks/cn/cloud/ library/1402_chenhy_openstacknetwork [8] Li Jing-xia,Hou Zi-feng.Application of Colored Petri Net inModel for Web Service Composition[J].Application Research of Computers,2006(1):22-27(in Chinese) 李景霞,侯紫峰.基于颜色Petri网的Web服务组合建模及应用[J].计算机应用研究,2006(1):22-27 [9] Ning Liang,Zhang Zhi-hong.Modeling and analysis of SPINprotocol based on colored Petri net[J].Computer Engineering and Design,2007,28(14):3391-3393(in Chinese) 宁亮,张志鸿.基于有色Petri网的SPIN协议建模与分析[J].计算机工程与设计,2007,28(14):3391-3393 [10] Xiao Bing,Qu Tan.Applying Colored Petri Net in System Mo-deling and Simulation[J].Computer Engineering,2001,27(1):30-32(in Chinese) 肖兵,瞿坦.着色Petri网及其在系统建模与仿真中的应用[J].计算机工程,2001,27(1):30-32 [11] Chen Yong,Hu Xiao-hui,Dang Jian-wu.Research on SPN2 Software Modeling Method Based on Stochastic Petri Nets[J].Computer Engineering,2010,36(17):230-233(in Chinese) 陈永,胡晓辉,党建武.基于随机Petri网的SPN2软件建模方法研究[J].计算机工程,2010,36(17):230-233 [12] Boukredera D,Maamri R,Aknine S.Modeling and Analysis ofReliable Contract Net Protocol Using Timed Colored Petri Nets[C]∥2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence(WI) and Intelligent Agent Technologies(IAT).IEEE,2013,2:17-24 [13] Sun Tao,Ye Xin-ming,Liu Jing,et al.CPN based protocol testing sequence generating method[J].Journal of PLA University of Science and Technology(Natural Science Edition),2012,13(2):165-170(in Chinese) 孙涛,叶新铭,刘靖,等.一种基于CPN的协议测试序列生成方法[J].解放军理工大学学报(自然科学版),2012,13(2):165-170 [14] Billington J,Yuan C.On modelling and analysing the dynamicMANET on-demand(DYMO) routing protocol[M].Springer Berlin Heidelberg,2009 [15] Fernandes J M,Tjell S,Jorgensen J B.Requirements Enginee-ring for Reactive Systems with Coloured Petri Nets:the Gas Pump Controller Example[C]∥Proc.of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools(CPN Workshop 2007).2007:207-222 [16] Billington J,Gupta A K.Effectiveness of coloured Petri nets for modelling and analysing the contract net protocol[M]∥Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools.2007 [17] Yue Jing-yuan.Property Based CPN Modelling and Testing of Micro-Kernel System Call[D].Inner Mongolia University,2012(in Chinese) 岳婧媛.基于属性的微内核系统调用CPN建模和测试[D].内蒙古大学,2012 [18] Sun Tao.Research on Testing Method for Parallel SoftwareBased on Colored Petri Nets[D].Inner Mongolia University,2012(in Chinese) 孙涛.基于CP-nets模型的并行软件测试方法的研究[D].内蒙古大学,2012 [19] He Nan.OpenFlow Modeling and Interaction Properties Testing Based on CPN[D].Inner Mongolia University,2013(in Chinese) 贺楠.基于CPN的OpenFlow建模及交互属性测试[D].内蒙古大学,2013 [20] Zhao Hui-juan,Sun Wen-hui.Research and Application of Symbolic Execution Based Unit Testing[J].Computer Applications and Software,2012,29(6):182-185(in Chinese) 赵慧娟,孙文辉.基于符号执行的单元测试研究与应用[J].计算机应用与软件,2012,29(6):182-185 [21] Samanta B,Sarkar B.Application of Petri nets for systems mo-deling and analysis[J].Opsearch,2012,49(4):334-347 [22] Dong Lu-lu.Research on the Extension Property Modelling of OpenFlow Protocol and ITS Test Cases Generation[D].Inner Mongolia University,2014(in Chinese) 董路路.OpenFlow协议可扩展性建模方法研究及测试例生成[D].内蒙古大学,2014 |
| No related articles found! |
|
||
Home