威普托尔

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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公司