MCC:一种将着色 Petri 网展开为 PNML 格式的工具
计算机科学中的逻辑
2020-03-23 v1
摘要
MCC 是一个为非常特定任务设计的工具:将 PNML 语法给出的高级 Petri 网模型转换为等价的 Place/Transition 网。该工具名称源于年度 Model-Checking Contest(模型检测竞赛),这是一个模型检测工具的竞赛,提供了大量多样的 PNML 模型。这一命名选择旨在强调该工具的主要焦点,即提供一个开放且高效的解决方案,降低想要参与此竞赛的开发者的接入成本。我们描述了工具的架构和功能,并展示其与其他现有解决方案的比较。尽管我们所针对的问题在文献中已被充分覆盖,我们表明仍有可能创新。为证实这一断言,我们特别强调了 MCC 的两个在应对竞赛中某些最具挑战性的着色模型时被证明有用的独特特性,即受限高阶不变量的使用,以及对 Petri 网脚本语言的支持。
引用
@article{arxiv.2003.09134,
title = {MCC: a Tool for Unfolding Colored Petri Nets in PNML Format},
author = {Silvano Dal Zilio},
journal= {arXiv preprint arXiv:2003.09134},
year = {2020}
}