威普托尔 swMATH标识： 13755 软件作者： Bergenthum，R.，Desel，J.，Lorenz，R.，Mauser，S。 说明： VipTool是一个使用位置/转换Petri网（p/t-nets）对系统进行建模、仿真、验证和验证的工具。它实现了德国研究协会（DFG）资助的VIP（通过评估部分有序Petri网运行来验证信息系统）中所做的研究。本计画的主要目的是建立一个由Petri网给出的业务流程的模拟与建模概念，该概念是基于部分有序执行运行（流程）的生成与评估，而非完全有序的转换发生序列。VipTool提供了一系列与因果关系和并发性相关的方法，这些方法是由p/t网络的部分有序运行建模的。也就是说，VipTool涵盖了合成、展开（结合各自的验证）和可执行性测试的功能。 主页： https://www.fernuni-hagen.de/sttp/forschung/vip_tool.shtml 相关软件： rbminer公司;基因;石化;正式舞会;工艺;杂交猪;管道;亚斯帕;沃夫兰;旋转;PNML公司;雷奥 参考文献： 12种出版物 全部的 前5名17位作者引用 4 卑尔根，罗宾 4 德塞尔，约格 三 库特尼，麦基 三 洛伦兹，罗伯特G。 三 毛瑟，塞巴斯蒂安 三 Pietkiewicz Koutny，玛尔塔 2 克莱恩，码头 1 艾哈迈德，艾莎 1 伯蒂，亚历山德罗 1 新娘，哈德良 1 德奥利维拉·奥利维拉，马特乌斯 1 法赫兰，德克 1 朱哈，加布里埃尔 1 奥尔加库什纳连科 1 佩鲁克斯，法比恩 1 罗森伯格，格尔茨戈尔茨 1 范德阿尔斯特，Wil M.P。 引用2个系列 三 理论计算机科学 2 计算机基础理论 在1个字段中引用 12 计算机科学（68-XX） 按年份引用出版物