VLTS基准套件

VLTS的缩写是“非常大的过渡系统”。VLTS基准测试套件是一组标记的过渡系统(以下称为基准测试)的集合。每个标记的转移系统都是一个有向连通图,其顶点称为状态,其边称为过渡。有一个独特的顶点叫做初始状态。每个转换都由一个名为action或label的字符串标记。有一个独特的标签,被称为“i”,用于所谓的不可见转换(也称为隐藏跃迁或τ跃迁)。VLTS基准已经从各种有关通信协议和并发系统建模的案例研究中获得。其中许多案例研究与现实生活中的工业系统相对应。

此软件的关键字

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