坎夫

Cunf:一个用读弧展开和验证Petri网的工具。Cunf是一个用来建立和分析具有读弧的Petri网展开的工具。展开式以偏序表示网络的行为,有效地解决了并发动作交织引起的状态爆炸问题。C网展开可以比Petri网展开小到指数级,最近的工作提出了构造和验证它们的算法。Cunf是这些技术的第一个实施者,它经过精心设计和优化,以确保理论上的成果付诸实践。

此软件的关键字

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