zbMATH中的参考文献(参考文献37篇文章,1标准件)

显示结果1到20,共37个。
按年份排序(引用)
  1. 埃萨尼,富坎侯赛因;Haider,Sajjad:一种将非对称多旅行商问题映射到有色Petri网的算法(2018)
  2. 詹森,库尔特;克里斯滕森,拉尔斯·M。;Mailund,Thomas:扫描线状态空间探索方法(2012)
  3. 科卡斯,纳塔莉亚;克劳斯,基督徒;De Vink,Erik:Reo+(\mathrmmCRL2):服务组合中数据流的模型检查框架(2012)
  4. 杨念华;于惠群;钱智霖;孙华:基于随机Petri网的软件安全建模与定量预测(2012)
  5. 保罗巴尔丹;科科,尼科莱塔;马林,安德里亚;Simeoni,Marta:代谢途径建模的Petri网:调查(2010)
  6. Kristensen,Lars M.:有色Petri网显式状态空间探索的视角:过去、现在和未来(2010)
  7. 林奕能;林应达;赖元成:基于CMP的多线程网络处理器的线程分配(2010)
  8. 罗齐纳特,A。;曼斯,R.S。;宋,M。;范德阿尔斯特,W.M.P.:发现仿真模型(2009)ioport公司
  9. 赵维雅,克劳丁;雷米,伊丽莎白;《生物调控模型》,2008年,丹尼斯·泰弗里(Deny Regulation networks)
  10. 海神论,V.A。;阿尔吉洛夫,副总裁。;贝洛格拉佐夫,D.M。;比斯特洛夫,A.V。;Chetvertakov,E.A。;Churina,T.G.:使用高级Petri网对SDL指定的通信协议进行建模和验证(2008)
  11. 哥查尔克,F。;范德阿尔斯特,W.M.P。;詹森·瓦勒斯,医学硕士。;Verbeek,H.M.W.:Protos2cpn:使用有色Petri网来配置和测试业务流程(2007)ioport公司
  12. 格拉迪沙尔,D。;MušičG.:基于生产管理数据的自动Petri网建模(2007)
  13. 詹森,库尔特;克里斯滕森,拉尔斯·迈克尔;Wells,Lisa:并行系统建模和验证的有色Petri网和CPN工具(2007)ioport公司
  14. 克里斯滕森,拉尔斯·M。;梅克伦堡,彼得;张林;米切尔,布里斯;Gallasch,Guy E.:基于模型的行动计划工具开发(2007)ioport公司
  15. 罗齐纳特,A。;曼斯,R.S。;宋,M。;vanderaalst,W.M.P.:从事件日志中发现有色Petri网(2007)ioport公司
  16. 彭泽克,沃伊切赫;帕罗拉,阿加塔:时间Petri网和时间自动机验证的进展。时间逻辑方法。(2006年)
  17. 艾佐尼,伊萨姆;Down,Douglas G.:使用有色Petri网和Design/CPN对密码协议进行建模和验证(2005)
  18. 本·姆纳奥尔,阿德尔;Al-Riyami,Badriya:非专用集群环境中本地交互进程和并行进程的有效调度(2005)
  19. 霍夫曼,凯瑟琳;赫里格,哈特穆特;Mossakowski,Till:以网和规则为代币的高级网(2005)
  20. 拉科斯,查尔斯A。;Kristensen,Lars M.:基于对象系统的状态空间探索,使用等价约化和扫描线方法(2005)

更多出版物请访问:http://cpntools.org/publications