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

显示结果1到20,共37个。
按年份排序(引用)
  1. Essani,Furqan Hussain;Haider,Sajjad:一种将非对称多旅行商问题映射到有色Petri网的算法(2018)
  2. Jensen,Kurt;Kristensen,Lars M.;Mailund,Thomas:扫描线状态空间探索方法(2012)
  3. Kokash,Natalia;Krause,Christian;De Vink,Erik:Reo+(\mathrmmCRL2):服务组合中的模型检查数据流框架(2012)
  4. 杨念华;俞慧群;钱志林;孙华华:基于随机Petri网的软件安全建模与定量预测(2012)
  5. Baldan,Paolo;Cocco,Nicoletta;Marin,Andrea;Simeoni,Marta:代谢途径建模的Petri网:调查(2010年)
  6. Kristensen,Lars M.:有色Petri网显式状态空间探索的视角:过去、现在和未来(2010)
  7. 林毅能;林英达;赖元成:基于CMP的多线程网络处理器中的线程分配(2010)
  8. Rozinat,A.;Mans,R.S.;Song,M.;van der Aalst,W.M.P.:发现模拟模型(2009)ioport公司
  9. Chaouiya,Claudine;Remy,Elisabeth;Thieffry,Denis:生物调控网络的Petri网建模(2008)
  10. Neponiaschy,V.A.;Argirov,V.S.;Beloglazov,D.M.;Bystrov,A.V.;Chetvertakov,E.A.;Churina,T.G.:使用高级Petri网对SDL指定的通信协议进行建模和验证(2008年)
  11. Gottschalk,F.;van der Aalst,W.M.P.;Jansen-Vullers,M.H.;Verbeek,H.M.W.:Protos2cpn:使用有色Petri网配置和测试业务流程(2007)ioport公司
  12. Gradishar,D.;MušičG.:基于生产管理数据的自动Petri网建模(2007)
  13. Jensen,Kurt;Kristensen,Lars-Michael;Wells,Lisa:用于并行系统建模和验证的有色Petri网和CPN工具(2007)ioport公司
  14. Kristensen,Lars M.;Mechlenborg,Peter;Zhang,Lin;Mitchell,Brice;Gallasch,Guy E.:基于模型的行动计划工具开发(2007)ioport公司
  15. 《发现事件》;摘自《发现事件》,2007年ioport公司
  16. 彭泽克,沃伊切赫;Pó322; rola,Agata:时间Petri网和时间自动机验证的进展。时态逻辑。(2006年)
  17. Al Azzoni,Issam;Down,Douglas G.:使用有色Petri网和Design/CPN对密码协议进行建模和验证(2005)
  18. Ben Mnaouer,Adel;Al Riyami,Badriya:非专用集群环境中本地交互进程和并行进程的有效调度(2005)
  19. 霍夫曼,凯瑟琳;埃里格,哈特穆特;莫萨科夫斯基,蒂尔:以网络和规则为代币的高级网络(2005)
  20. Lakos,Charles A.;Kristensen,Lars M.:使用等价约化和扫描线方法对基于对象的系统的状态空间探索(2005)

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