基于CPN Tools研究综述被引量：10

下载PDF

导出

摘要仿真工具CPN Tools是一款优秀的Petri网仿真工具,是仿真和分析着色petri网建立的模型。CPN Tools不仅支持基础着色Petri网建立模型,也支持带有时间和分层的着色petri网建立模型。CPN Tools支持CPN ML编程语言,颜色集,时间,层次化建模等,大大增加了它的描述能力和应用范围。同时,CPN Tools提供丰富的模型分析工具,如监视器,状态空间分析等,增强了它的模型分析能力和模型验证能力。

作者刘江

机构地区江西师范大学计算机信息工程学院

出处《信息技术与信息化》 2015年第3期94-95,共2页 Information Technology and Informatization

关键词 CPN TOOLS 仿真工具着色PETRI网监视器状态空间

分类号 TP301.1 [自动化与计算机技术—计算机系统结构] TP391.9 [自动化与计算机技术—计算机科学与技术]

引文网络
相关文献

参考文献6

1Kurt J,Lars M k.Coloured Petri Nets:Modelling and Validation of Concurrent Systems[M].Berlin:Springer:2009. 被引量：1
2W.M.P.van der Aalst,C.Stahl.Modeling Business Processes–A Petri Net-Oriented Approach[M].The MIT Press,2011. 被引量：1
3方欢,陆阳,黄镇谨,魏臻.基于CPN仿真的排队系统建模及性能分析[J].系统仿真学报,2013,25(2):228-234. 被引量：9
4刘芙蓉..基于着色赋时Petri网的Web服务组合性能分析[D].江西师范大学,2012:
5李海凌,刘克剑.基于HTCPN的工程项目群工作流建模与仿真[J].计算机应用研究,2013,30(3):792-795. 被引量：4
6王武华,陈新宁.基于CPN模型的COA状态空间搜索算法[J].电脑知识与技术（过刊）,2012,0(5X):3377-3380. 被引量：1

二级参考文献18

1钟登华,刘奎建,杨晓刚.施工进度计划柔性网络仿真的不确定性研究[J].系统工程理论与实践,2005,25(2):107-112. 被引量：31
2HALPIN D W, RIGGS L S. Planning and analysis of construction op- eration [ M]. New York: Wiley,1992. 被引量：1
3Van der ASLST W M P. The application of petri nets to workflow management[J]. The Journal of Circuits, Systems and Compu- ters, 1998,8( 1 ) :21-66. 被引量：1
4University of Aarhus. online CPN tools [ EB/OL ]. [ 2011- 03- 29 ]. http ://cpntools. org/start. 被引量：1
5Rusty O Baldwin,Nathaniel J Davis IV,Scott F Midkiff,John E Kobza. Queuing Network Analysis:Concepts,Terminology and Methods[J].The Journal of Systems and Software (S0164-1212),2003,(02):99-117. 被引量：1
6Leonardo Brenner,Paulo Fernandes,Afonso Sales. MQNA-Markovian Queuing Networks Analyser[A].USA,IEEE Press,2003.194-199. 被引量：1
7Samuel Kounev,Alejandro Buchmann. SimQPN-A tool and methodology for analyzing queuing Petri net models by means of simulation[J].Performance Evaluation (S0166-5316),2006.364-394. 被引量：1
8唐应辉;唐小我.排队论:基础与应用[M]成都:电子科技大学出版社,20001-150. 被引量：1
9K Jensen. Colored Petri Nets.Basic Concepts,Analysis Methods and Practical Use[A].Berlin Heidelberg,New York:Springer-Verlag,1997.1-180. 被引量：1
10Lisa Wells. Performance Analysis using CPN tools[A].USA:ACM Press,2006.1-59. 被引量：1

共引文献11

1刘明,董绍华,庞慧,黄永青.面向性能分析和优化的多业务过程仿真方法研究[J].计算机应用研究,2014,31(4):1067-1071. 被引量：2
2付强.基于时变需求的CODP定位对客户订单满足率影响的仿真分析[J].制造业自动化,2014,36(6):22-26.
3赵宁,王建昌,张慧杰,刘磊.面向远程医疗的分级诊疗流程管理与优化研究[J].中国数字医学,2019,14(1):101-103. 被引量：9
4程硕,张毕西,曹铭,于秀丽.基于GSCPN的“虚拟工序库”生产系统建模研究与性能分析[J].科技管理研究,2015,35(3):167-172.
5刘鹏宇,朱建冲.基于Petri网的装备临抢修业务流程建模研究[J].舰船电子工程,2015,35(3):115-118. 被引量：4
6刘伟军.工作流技术在银行贷款申请审批中的应用研究[J].赣南师范学院学报,2015,36(3):15-18. 被引量：1
7王苏城,方欢.石材制品生产流程的CPN建模与优化调度分析[J].长春师范大学学报,2015,34(12):26-29.
8胡静,宋雪雁,孙济洲.航行通告分发服务中间件的研究与设计[J].计算机应用与软件,2016,33(2):7-11. 被引量：6
9吴大海.NGN承载网性能评价体系设计方法[J].电脑知识与技术（过刊）,2014,20(1X):276-277.
10甘娜,黄裕锋,陆晓梅.云计算中基于M/Geom/C/∞排队系统的任务调度模型研究[J].计算机测量与控制,2018,26(3):176-179. 被引量：2

同被引文献61

1闻旺林.基于价值链理论的企业成本管理模式的探讨[J].时代金融,2019,0(36):52-53. 被引量：3
2申远,黄志良,胡彪,王适之.基于Doc2Vec和深度神经网络的战场态势智能推送研究[J].智能计算机与应用,2020,0(1):50-55. 被引量：7
3马力,张明智.基于复杂网络的战争复杂体系建模研究进展[J].系统仿真学报,2015,27(2):217-225. 被引量：22
4陆以勤,吕锦.基于价值链的企业仿真和诊断的Petri网模型[J].计算机集成制造系统,2004,10(12):1502-1508. 被引量：6
5唐国锋,王丰,蒋宁.军事后勤保障流程信息集成模型研究[J].商品储运与养护,2006,28(2):31-33. 被引量：4
6范勇,李为民.军事概念建模形式化描述语言比较分析[J].火力与指挥控制,2006,31(6):19-22. 被引量：20
7于兴晗,李君.基于MF RC632射频识别读写器芯片的专用读卡器设计及实现[J].电子技术应用,2007,33(3):125-128. 被引量：15
8施国强,李伯虎,柴旭东.基于着色Petri网的复杂产品开发多项目调度建模研究[J].系统仿真学报,2007,19(17):3869-3872. 被引量：20
9韩江洪,翟军华,魏振春,毕翔,陆阳.分层CPN在矿井馈电系统建模中的应用[J].系统仿真学报,2007,19(A01):129-131. 被引量：3
10周巧莲,沈拓.基于红外线通信的双向查询应答器设计分析[J].城市轨道交通研究,2009,12(12):53-56. 被引量：2

引证文献10

1郝颖,杨鸿雁,刘志勇.基于CPN的教学质量评价系统的建模与分析[J].鞍山师范学院学报,2016,18(4):53-58.
2王琳,开祥宝,杨霓霏,宋志丹,柴金川.基于着色Petri网的下一代列控系统虚拟闭塞技术仿真分析研究[J].铁路计算机应用,2018,27(9):63-70. 被引量：3
3王广明,郭传福,刘喜作.基于CPN Tools的舰艇编队护航反潜作战建模[J].兵器装备工程学报,2019,40(6):43-46. 被引量：1
4范楷,冯浩楠,段宏伟,王俊高.基于近距离通信的站台门控制新方案[J].城市轨道交通研究,2020,23(1):168-173. 被引量：2
5向双玲,王英.基于Petri网的公铁联运信息共享流程分析[J].计算机技术与发展,2021,31(5):162-167.
6马朝阳,黄树巍.基于Petri网的矿山价值链建模与矿石成本分析[J].矿业研究与开发,2021,41(9):179-184. 被引量：3
7姚可欣,付长军,郑伟明,陈得恩,田兴聪,熊轲.基于着色Petri网的离散事件动态系统建模与仿真[J].新型工业化,2021,11(9):101-104. 被引量：1
8牛犇,黄志良,吴俊杰,张福群,李子墨.基于UML与着色Petri网的预警情报智能推荐的建模与验证[J].兵器装备工程学报,2022,43(12):291-298. 被引量：3
9陈昭宇,张超.基于Petri网的分布式作战后装保障能力建模与仿真[J].舰船电子工程,2023,43(12):114-118.
10周学广,吕伟栋,袁志民.基于着色Petri网的舰艇指挥控制信息流建模研究[J].系统仿真学报,2019,31(5):828-842. 被引量：9

二级引证文献21

1林琳,孙书晶,孙仓,赵研.Petri网在生态环境领域应用的现状分析[J].环境工程,2023,41(6):233-238.
2柴金川,张金月,张郧,于海,杨铎.环行铁道城轨试验线列车位置实时监测方案研究[J].铁路计算机应用,2019,28(9):62-68.
3曹军海,郑竣兮,杜海东,梁精睿.基于OOPN的装备动用业务流程建模与仿真[J].指挥控制与仿真,2019,41(6):102-108. 被引量：1
4刘年国.基于信息流模型的广域网信息访问控制系统设计[J].电子设计工程,2021,29(4):80-83. 被引量：2
5殷明.基于约束逻辑的网络非集中式信息流整合系统设计[J].现代电子技术,2021,44(10):82-86.
6王冶青.基于Petri网分析技术的BPMN2.0过程模型的语义分析[J].科技创新导报,2021,18(19):66-68.
7黄聪.基于通信技术的城市轨道交通信号控制系统研究[J].中国新通信,2021,23(23):7-9. 被引量：5
8许涛.基于Petri网的新生报到流程建模优化分析[J].赤峰学院学报（自然科学版）,2022,38(2):5-8. 被引量：1
9林旺群,李妍,罗海龙,雷中原.面向全域联合作战指挥控制系统总体框架设计[J].指挥与控制学报,2022,8(1):14-22. 被引量：9
10唐兴俊,王树文,胡欣.基于着色Petri网的反导预警信息流转仿真与效能评估[J].空天预警研究学报,2022,36(3):170-174. 被引量：1

1王廷尧.信息高速公路的基本概念[J].电子与自动化仪表信息,1996(1):34-37.
2陈诚,范贵生,顾春华,张弘.一种基于Petri的服务组合测试模型和分析方法[J].华东理工大学学报（自然科学版）,2012,38(2):226-232.
3田宏奇.多变量变结构控制系统的几何法设计[J].华中理工大学学报,1990,18(1):1-6.
4杨致中,西宝.动态规划立体匹配的状态空间分析和性能改进[J].应用科技,2015,42(5):19-23.
5袁志斌,徐正权,王能超.基于K-模拟的抽象[J].计算机科学,2007,34(9):242-244.
6牟宗平.借助摘要快速了解UG软件零件信息[J].金属加工（冷加工）,2011(10):90-90.
7王海涛.无线传感网络中的QoS保障问题探讨[J].数字通信世界,2007(2):85-87. 被引量：1
8郑得龙,李明明.基于数据挖掘的决策支持系统的应用研究[J].工业控制计算机,2013,26(5):119-120. 被引量：6
9王洪君,张慧,李静雪,徐晨.一种具有身份验证能力的(3,3)视觉密码方案[J].沈阳师范大学学报（自然科学版）,2013,31(3):397-400. 被引量：2
10支持带手套操作的触摸控制器[J].今日电子,2013(2):65-65.

信息技术与信息化

2015年第3期

浏览历史

内容加载中请稍等...

基于CPN Tools研究综述被引量：10

参考文献6

二级参考文献18

共引文献11

同被引文献61

引证文献10

二级引证文献21

相关作者

相关机构

相关主题

浏览历史

基于CPN Tools研究综述 被引量：10

参考文献6

二级参考文献18

共引文献11

同被引文献61

引证文献10

二级引证文献21

相关作者

相关机构

相关主题

浏览历史

基于CPN Tools研究综述被引量：10