VIP工具 swMATH ID: 13755 软件作者： Bergenthum，R.、Desel，J.、Lorenz，R.和Mauser，S。 描述： VipTool是一种使用位置/转换Petri网（p/t-nets）对系统进行建模、仿真、验证和验证的工具。它在一个名为VIP（通过评估部分有序Petri网运行来验证信息系统）的项目中进行了研究，该项目由德国研究协会（DFG）赞助。本项目的主要关注点是为Petri网给出的业务流程建立一个仿真和建模概念，该概念基于生成和评估部分有序的执行运行（流程），而不是完全有序的转换序列。VipTool提供了一个与因果关系和并发性有关的方法的综合捆绑包，这些方法通过p/t网的部分有序运行进行建模。即，VipTool涵盖了合成、展开（与相应的验证相结合）和可执行性测试的功能。 主页： https://www.fernuni-hagen.de/sttp/forschung/vip_tool.shtml 相关软件： 红矿工;基因;石化;正式舞会;工艺品;混合ILP衬里;管道;亚斯珀;沃夫兰;自旋蛋白;PNML公司;里奥 引用于： 12文件 全部的 前5名17位作者引用 4 罗宾·伯根瑟姆 4 德塞尔，约格 三 马西耶·库特尼 三 罗伯特·洛伦茨。 三 塞巴斯蒂安·毛瑟 三 Marta Pietkiewicz-Koutny 2 码头Kleijn 1 艾沙·艾哈迈德 1 亚历山德罗·贝尔蒂 1 新娘，Hadrien 1 德奥利维拉·奥利维拉，马特乌斯 1 德克·法兰德 1 朱哈斯，加布里埃尔 1 奥尔加·库什纳伦科 1 法比安·佩鲁克斯 1 格列泽戈兹·罗森贝格 1 Wil M.P.范德阿尔斯特。 2篇连载文章中引用 三 理论计算机科学 2 计算机基础理论 在1个字段中引用 12 计算机科学（68至XX） 按年份列出的引文