专栏首页arxiv.org翻译专栏具有参数化数据的Petri网:建模和验证(扩展版)(CS AI)
原创

具有参数化数据的Petri网:建模和验证(扩展版)(CS AI)

在过去的十年中,已经提出了各种方法来将业务流程与不同类型的数据集成在一起。每种方法都反映了整个过程数据集成范围内的特定需求。一个特别重要的一点是,这些方法能够灵活地适应需要共同发展的多个案例的流程。在这项工作中,我们介绍并研究了彩色Petri网的扩展,称为目录网,它提供了捕获此类过程的两个关键功能。一方面,网络转换配备了防护程序,可同时检查令牌的内容和查询存储在只读持久数据库中的事实。另一方面,通过从数据库中提取相关值或生成真正新鲜的值,此类转换可以将数据注入令牌。我们将目录网系统地编码为一种参考框架,用于数据和过程的(参数化)验证。我们展示了新值注入是处理中特别复杂的功能,并讨论了驯服它的策略。最后,我们讨论目录网如何与该领域的知名形式主义相关。

原文标题:Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)

原文:During the last decade, various approaches have been put forward to integrate business processes with different types of data. Each of such approaches reflects specific demands in the whole process-data integration spectrum. One particular important point is the capability of these approaches to flexibly accommodate processes with multiple cases that need to co-evolve. In this work, we introduce and study an extension of coloured Petri nets, called catalog-nets, providing two key features to capture this type of processes. On the one hand, net transitions are equipped with guards that simultaneously inspect the content of tokens and query facts stored in a read-only, persistent database. On the other hand, such transitions can inject data into tokens by extracting relevant values from the database or by generating genuinely fresh ones. We systematically encode catalog-nets into one of the reference frameworks for the (parameterised) verification of data and processes. We show that fresh-value injection is a particularly complex feature to handle, and discuss strategies to tame it. Finally, we discuss how catalog nets relate to well-known formalisms in this area.

原文作者:Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

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

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

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

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 注意力集中视觉刺激的波传播(CS AI)

    对周围视觉环境变化的快速反应需要有效的注意力机制,以将计算资源重新分配到视野中最相关的位置。尽管当前的计算模型由于数据的可用性不断提高而提高了其预测能力,但它们...

    刘子蔚
  • 研究用于社交媒体中仇恨语音检测的深度学习方法(CS CL)

    互联网的迅猛发展有助于增强个人的表达能力,但滥用表达自由的行为也导致各种网络犯罪和反社会活动的增加。仇恨言论就是一个这样的问题,需要非常认真地解决,否则,这可能...

    刘子蔚
  • 土耳其命名实体识别中最新神经序列标签模型的评估(CS CL)

    命名实体识别(NER)是一项经过广泛研究的任务,用于提取文本中的命名实体并对其进行分类。NER不仅在下游语言处理应用程序(例如关系提取和问题解答)中至关重要,而...

    刘子蔚
  • deepmind 做通用人工智能的思路

    Automated discovery of early visual concepts from raw image data is a major open...

    用户1908973
  • 逆强化学习-学习人先验的动机

    LEARNING A PRIOR OVER INTENT VIA META-INVERSE REINFORCEMENT LEARNING

    用户1908973
  • 注意力集中视觉刺激的波传播(CS AI)

    对周围视觉环境变化的快速反应需要有效的注意力机制,以将计算资源重新分配到视野中最相关的位置。尽管当前的计算模型由于数据的可用性不断提高而提高了其预测能力,但它们...

    刘子蔚
  • 利用动态纹理分析法对视频序列假脸进行检测(CS)

    在过去的几年中,涉及人物角色的可控多媒体内容的达到了空前的逼真度。为了在图像和视频中显示出合成的人脸,需要使用到自动化相关技术。本研究以表征和区分真序列和伪序列...

    Pamela_Lin
  • 基于PfSPZ的疟疾疫苗生产的蚊子取放系统(CS RO)

    疟疾的治疗是一项全球性的健康挑战,而从该疾病的疫苗的广泛引入中受益匪浅。已经开发出一种利用寄生虫恶性疟原虫(Pf)的子孢子(SPZ)制备活体生物疫苗的方法,该子...

    时代在召唤
  • 2017美国数学建模MCM C题(大数据)翻译 “合作和导航”

    Traffic capacity is limited in many regions of the United States due to the numb...

    AI那点小事
  • 人工智能达特茅斯夏季研究项目提案(1955年8月31日)中英对照版

    科学Sciences导读:人工智能达特茅斯夏季研究项目提案(1955年8月31日)中英对照版。全文分为六大部分:一、提案说明,二、C.E.香农(C.E. Sha...

    秦陇纪

扫码关注云+社区

领取腾讯云代金券