×

威普托尔

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种出版物

在1个字段中引用

12 计算机科学(68-XX)

按年份引用出版物