专栏首页arxiv.org翻译专栏MCC:用PNML格式展开彩色培养网的工具(CS)
原创

MCC:用PNML格式展开彩色培养网的工具(CS)

在本文中,我们介绍了MCC,MCC是为一项非常具体的任务设计的工具:将PNML语法中给出的高级Petri网模型转换为等效的Place/Transition网。 该工具的名称来源于年度模型检查竞赛,这是一个模型检查工具的竞赛,提供了大量和多样化的PNML模型集合。 这种命名选择强调了该工具的主要重点,即提供一个开放和有效的解决方案,降低希望参与这一竞争的开发人员的访问成本。 我们描述了工具的体系结构和功能,并展示了它与其他现有解决方案的比较。 尽管我们所针对的问题在文献中有大量的报道,但我们表明仍然有可能进行创新。 为了证实这一说法,我们特别强调了MCC的两个独特特征,这些特征在处理竞赛中一些最具挑战性的彩色模型时被证明是有用的,即使用限制的高阶不变量概念,以及支持Petri网脚本语言。

原文题目:MCC: a Tool for Unfolding Colored Petri Nets in PNML Format

原文:MCC is a tool designed for a very specific task: to transform the models of High-Level Petri nets, given in the PNML syntax, into equivalent Place/Transition nets. The name of the tool derives from the annual Model-Checking Contest, a competition of model-checking tools that provides a large and diverse collection of PNML models. This choice in naming serves to underline the main focus of the tool, which is to provide an open and efficient solution that lowers the access cost for developers wanting to engage in this competition. We describe the architecture and functionalities of our tool and show how it compares with other existing solutions. Despite the fact that the problem we target is abundantly covered in the literature, we show that it is still possible to innovate. To substantiate this assertion, we put a particular emphasis on two distinctive features of MCC that have proved useful when dealing with some of the most challenging colored models in the contest, namely the use of a restricted notion of higher-order invariant, and the support of a Petri net scripting language.

原文作者:Silvano Dal Zilio

原文地址:https://arxiv.org/abs/2003.09134

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 在室内环境中使用二次曲面和对称属性的面向对象SLAM(CS RO)

    针对室内移动机器人的应用环境,提出了一种基于RGB-D摄像机的稀疏对象级SLAM算法。二次表示用作界标以紧凑地建模对象,包括对象的位置,方向和占用的空间。现有的...

    时代在召唤
  • 耳面部外科应用的RCM新机制(CS RO)

    由于中耳或鼻窦腔的插入区域非常狭窄,内窥镜的活动性降低为围绕虚拟点旋转和平移以插入相机。本文首先介绍了从三维扫描中获得的这些区域的解剖结构,然后介绍了一种基于敏...

    时代在召唤
  • Coq Proof Assistant的策略学习与证明(CS AI)

    我们提出了一种利用机器学习在Coq Proof Assistant中进行战术证明搜索的系统。 与HOL4的Tactic Toe项目类似,我们的系统预测适当的战术...

    时代在召唤
  • 椭圆曲线上的认证密钥方案及其安全性考量(CS CR)

    传感器网络中的节点可能是资源受限的设备,这些设备通常具有有限的生命周期,这使得传感器网络环境具有显著的动态性。在这样的设置上管理加密协议可能需要成倍的努力来更新...

    Elva
  • Learning to Remember More with Less Memorization

    (Submitted on 5 Jan 2019 (v1), last revised 20 Mar 2019 (this version, v2))

    用户1908973
  • 计算机如何理解我们的语言?NLP is fun!

    【导读】我们从日常每天都会用到的推荐系统到现在研究火热的开放性聊天、对话机器人,越来越多的产品与应用的背后都需要自然语言处理(NLP)和知识图谱的技术。也有越来...

    AI科技大本营
  • 使用Paninian语法自动提取孟加拉根动词(CS.CL)

    当针对一系列学习问题进行优化时,卷积神经网络会遭受灾难性的遗忘:当它们满足当前训练示例的目标时,它们在先前任务上的表现将急剧下降。在这项工作中,我们引入了一个新...

    蔡小雪7100294
  • 呕心沥血倾力巨制T-lnP图攻略——奥斯陆的气象生活

    搞这个东西的初衷是因为我自己学的时候也被搞的很烦,而且概念乱七八糟,脑子里一团浆糊,一方面方便自己一方面也方便各位大气学子。本攻略以本题为例:

    气象学家
  • leetcode554. Brick Wall

    There is a brick wall in front of you. The wall is rectangular and has several r...

    眯眯眼的猫头鹰
  • 乳腺癌转移过程中的异常发育途径

    当你的才华还撑不起你的野心时,请潜下心来,脚踏实地,跟着我们慢慢进步。不知不觉在单细胞转录组领域做知识分析也快两年了,通过文献速递这个栏目很幸运聚集了一些小伙伴...

    生信技能树jimmy

扫码关注云+社区

领取腾讯云代金券