CPN/工具

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


zbMATH中的参考文献(参考文献27条,1标准件)

显示第1到第20个结果,共27个。
按年份排序(引用)
  1. 埃萨尼,富坎侯赛因;Haider,Sajjad:一种将非对称多旅行商问题映射到有色Petri网的算法(2018)
  2. 赫洛莫兹达,D。K、 。;格雷博茨,M。M、 。;马克西梅茨,O。M、 :自动将带定性标记的有色Petri网转换为带定量标记的有色Petri网(2018)
  3. 艾哈迈德,瓦卡尔;哈桑,奥斯曼;Tahar,Sofiène:正式可靠性建模和分析:调查(2016年)
  4. Pommereau,Franck:SNAKES:一个灵活的高级Petri网库(工具书)(2015)
  5. 维佐维汀,N。五、 。;尼普尼希,V。A、 。;斯坦恩科,A。A、 :使用有色Petri网验证分布式系统的UCM规范(2015)
  6. 乐,丁顺;阮,胡武;阮,范丁;麦丰南;范杜伊,鲍聪;全,Thanh Tho;安德烈,爱蒂安;佩特鲁奇,劳尔;Liu,Yang:PeCAn:Petri网的合成验证变得容易(2014)
  7. 海纳,莫妮卡;赫拉吉,莫斯塔法;刘飞;罗尔,基督徒;史努比——一个统一的Petri网工具(2012)ioport公司
  8. 詹森,库尔特;克里斯滕森,拉尔斯·M。;Mailund,Thomas:扫描线状态空间探索方法(2012)
  9. 科卡斯,纳塔莉亚;克劳斯,基督徒;De Vink,Erik:Reo+(\mathrmmCRL2):服务组合中数据流的模型检查框架(2012)
  10. 杨念华;于惠群;钱智霖;孙华:基于随机Petri网的软件安全建模与定量预测(2012)
  11. Kristensen,Lars M.:有色Petri网显式状态空间探索的视角:过去、现在和未来(2010)
  12. 罗齐纳特,A。;曼斯,R。S、 。;宋,M。;范德阿尔斯特,W。M。P、 :发现仿真模型(2009)ioport公司
  13. 赵维雅,克劳丁;雷米,伊丽莎白;蒂弗瑞,丹尼斯:生物调控网络的Petri网建模(2008)
  14. 尼普尼希,V。A、 。;阿吉洛夫,V。S、 。;贝洛格拉佐夫。M、 。;比斯特洛夫,A。五、 。;切特维塔科夫。A、 。;丘丽娜,T。G、 :使用高级Petri网对SDL指定的通信协议进行建模和验证(2008)
  15. 哥查尔克,F。;范德阿尔斯特,W。M。P、 。;詹森·沃勒,M。H、 。;韦贝克,H。M。W、 :Protos2cpn:使用有色Petri网配置和测试业务流程(2007)ioport公司
  16. 格拉迪沙尔,D。;MušičG.:基于生产管理数据的自动Petri网建模(2007)
  17. 罗齐纳特,A。;曼斯,R。S、 。;宋,M。;范德阿尔斯特。M。P、 :从事件日志中发现有色Petri网(2007)ioport公司
  18. 山口,广口;El Fakih,哈立德;波希曼,格雷戈五世。;东野太郎:从编写为谓词/转换网络的服务规范中派生协议规范(2007)
  19. 彭泽克,沃伊切赫;帕罗拉,阿加塔:时间Petri网和时间自动机验证的进展。时间逻辑方法(2006年)
  20. Evangelista,Sami:Helena的高级Petri网分析(2005)