威普托尔

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

此软件的关键字

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

zbMATH中的参考文献（参考文献15条)

显示第1到15个结果，共15个。
按年份排序(引用)

  1. 艾哈迈德，艾莎；库特尼，麦基；Pietkiewicz Koutny，Marta:用位置综合基本网络系统（2022）
  2. 范德阿尔斯特，Wil M.P。；伯蒂，亚历山德罗：发现以对象为中心的Petri网（2020）
  3. 新娘，哈德良；奥尔加库什纳连科；Peureux，Fabien:通用可靠性验证的工作流网络缩减（2017）
  4. 克莱恩，码头；库特尼，麦基；Pietkiewicz Koutny，玛尔塔；Rozenberg，Grzegorz:应用区域（2017）
  5. 洛伦兹，罗伯特；德塞尔，约格；Juhás，Gabriel:情景模型（2013）
  6. 埃利斯，克拉伦斯A。；金光勋；伦伯特，奥布里；Wainer，Jacques:随机信息控制网调查（2012）ioport公司
  7. 克莱恩，码头；库特尼，麦基；Pietkiewicz Koutny，Marta:a/sync连接的Petri网区域（2012）
  8. 卑尔根，罗宾；德塞尔，约格；Mauser，Sebastian:从部分语言合成Petri网的不同算法的比较（2009）
  9. 卑尔根，罗宾；德塞尔，约格；毛瑟，塞巴斯蒂安；Lorenz，Robert:从实例运行构建过程模型（2009）
  10. de Oliveira Oliveira，Mateus:Hasse图生成器和Petri网（2009）
  11. Fahland，Dirk:Oclets——基于场景的Petri网建模（2009）
  12. 卑尔根，罗宾；德塞尔，约格；洛伦兹，罗伯特；Mauser，Sebastian:从VipTool场景合成Petri网（2008）ioport公司
  13. 卑尔根，罗宾；德塞尔，约格；洛伦兹，罗伯特；Mauser，Sebastian:从有限部分语言合成Petri网（2008）
  14. 罗齐纳特，A。；vanderaalst，W.M.P.：基于监控实际行为的过程一致性检查（2008）ioport公司
  15. 卑尔根，罗宾；德塞尔，约格；朱哈，加布里埃尔；洛伦兹，罗伯特：我能在你的网络上执行我的场景吗？VipTool告诉你！（2006年）ioport公司