威普托尔

VipTool是一个使用位置/转换Petri网(p/t-nets)对系统进行建模、仿真、验证和验证的工具。它是由德国信息系统协会(DFG)资助的一个名为VIP的验证研究项目。本计画的主要目的是建立一个由Petri网给出的业务流程的模拟与建模概念,该概念是基于部分有序执行运行(流程)的生成与评估,而非完全有序的转换发生序列。VipTool提供了一系列与因果关系和并发性相关的方法,这些方法是由p/t网络的部分有序运行建模的。也就是说,VipTool涵盖了合成、展开(结合各自的验证)和可执行性测试的功能。


zbMATH参考文献(13篇文章引用)

显示结果1到13,共13个。
按年份排序(引用)

  1. Bride,Hadrien;Kouchnarenko,Olga;Peureux,Fabien:简化通用可靠性验证的工作流网络(2017年)
  2. Kleijn,Jetty;Koutny,Maciej;Pietkiewicz Koutny,Marta;Rozenberg,Grzegorz:应用区域(2017)
  3. 洛伦兹,罗伯特;德塞尔,约格;尤哈斯,加布里埃尔:情景模型(2013)
  4. Ellis,Clarence A.;Kim,Kwanghoon;Rembert,Aubrey;Wainer,Jacques:随机信息控制网络调查(2012)ioport公司
  5. Kleijn,Jetty;Koutny,Maciej;Pietkiewicz Koutny,Marta:a/sync连接的Petri网区域(2012)
  6. Bergenthum,Robin;Desel,Jörg;Mauser,Sebastian:从部分语言合成Petri网的不同算法的比较(2009)
  7. Bergenthum,Robin;Desel,Jörg;Mauser,Sebastian;Lorenz,Robert:从示例运行构建过程模型(2009)
  8. de Oliveira Oliveira,Mateus:Hasse图生成器和Petri网(2009)
  9. Fahland,Dirk:Oclets——基于场景的Petri网建模(2009)
  10. Robin Bergenthum;Desel,Jörg;Lorenz,Robert;Mauser,Sebastian:从VipTool场景中合成Petri网(2008)ioport公司
  11. Robin Bergenthum;Desel,Jörg;Lorenz,Robert;Mauser,Sebastian:从有限部分语言合成Petri网(2008)
  12. Rozinat,A.;van der Aalst,W.M.P.:基于监控实际行为的过程一致性检查(2008)ioport公司
  13. 伯根森,罗宾;德塞尔,约格;尤哈斯,加布里埃尔;洛伦兹,罗伯特:我能在你的网络中执行我的场景吗?VipTool告诉你!(2006年)ioport公司