CPN/工具

有色Petri网和CPN/A编辑工具。与TACETAPS相关的演示。CPN/Tools是当前流行的用于有色Petri网编辑、仿真和状态空间分析的Design/CPN工具的重要改版。新界面基于高级交互技术,包括双手动交互、工具眼镜和标记菜单,以及管理工作区的新隐喻。它挑战了关于用户界面的传统观念,摆脱了下拉菜单、滚动条甚至选择,同时提供了相同或更强大的功能。CPN/Tools需要一个OpenGL图形加速器,可以在所有主要平台(Windows、Unix/Linux、MacOS)上运行。


zbMATH参考文献(27篇文章引用了,1标准件)

显示第1到第20个结果,共27个。
按年份排序(引用)
  1. Essani,Furqan Hussain;Haider,Sajjad:一种将非对称多旅行商问题映射到有色Petri网的算法(2018)
  2. Hlomozda,D.K.;Glybovets,M.M.;Maksymets,O.M.:自动将带有定性标记的有色Petri网转换为带有定量标记的有色Petri网(2018年)
  3. Ahmed,Waqar;Hasan,Osman;Tahar,Sofiène:正式可靠性建模和分析:调查(2016年)
  4. Pommereau,Franck:SNAKES:一个灵活的高级Petri网库(工具书)(2015)
  5. Vizovitin,N.V.;Neponiaschy,V.A.;Stenenko,A.A.:使用有色Petri网验证分布式系统的UCM规范(2015)
  6. Le,Dinh Thuan;Nguyen,Huu Vu;Nguyen,Van Tinh;Mai,Phuong Nam;Pham Duy,Bao Trung;Quan,Thanh Tho;André,嫒tienne;Petrucci,Laure;Liu,Yang:PeCAn:Petri网的成分验证变得容易(2014)
  7. 海纳,莫妮卡;赫拉吉,莫斯塔法;刘,费;罗,克里斯蒂安;施瓦里克,马丁:史努比——一个统一的Petri网工具(2012)ioport公司
  8. Jensen,Kurt;Kristensen,Lars M.;Mailund,Thomas:扫描线状态空间探索方法(2012)
  9. Kokash,Natalia;Krause,Christian;De Vink,Erik:Reo+(\mathrmmCRL2):服务组合中的模型检查数据流框架(2012)
  10. 杨念华;俞慧群;钱志林;孙华华:基于随机Petri网的软件安全建模与定量预测(2012)
  11. Kristensen,Lars M.:有色Petri网显式状态空间探索的视角:过去、现在和未来(2010)
  12. Rozinat,A.;Mans,R.S.;Song,M.;van der Aalst,W.M.P.:发现模拟模型(2009)ioport公司
  13. Chaouiya,Claudine;Remy,Elisabeth;Thieffry,Denis:生物调控网络的Petri网建模(2008)
  14. Neponiaschy,V.A.;Argirov,V.S.;Beloglazov,D.M.;Bystrov,A.V.;Chetvertakov,E.A.;Churina,T.G.:使用高级Petri网对SDL指定的通信协议进行建模和验证(2008年)
  15. Gottschalk,F.;van der Aalst,W.M.P.;Jansen-Vullers,M.H.;Verbeek,H.M.W.:Protos2cpn:使用有色Petri网配置和测试业务流程(2007)ioport公司
  16. 自动化建模;基于GšDšD生产管理,2007年
  17. Rozinat,A.;Mans,R.S.;Song,M.;van der Aalst,W.M.P.:从事件日志中发现有色Petri网(2007)ioport公司
  18. Yamaguchi,Hirozumi;El Fakih,Khaled;Bochmann,Gregor V.;Higashino,Teruo:从编写为谓词/转换网络的服务规范中派生协议规范(2007)
  19. 彭泽克,沃伊切赫;Pó322; rola,Agata:时间Petri网和时间自动机验证的进展。时间逻辑方法。(2006年)
  20. Evangelista,Sami:Helena的高级Petri网分析(2005)