威普托尔

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


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