【24h】

Preface

机译:前言

获取原文

摘要

This volume constitutes the proceedings of the 42st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2021). This series of conferences serves as an annual meeting place to discuss progress in the field of Petri nets and related models of concurrency. These conferences provide a forum for researchers to present and discuss both applications and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. Petri Nets 2021 included a section devoted to Application of Concurrency to System Design, which was in the past a separate event. The final selection of this track was made by Jorg Desel and Alex Yakovlev. The event was organized by the LoVe (Logics and Verification) team of the computer science laboratory LIPN (Laboratoire d'Informatique de Paris Nord) at the University Sorbonne Paris Nord and CNRS, along with members of the Paris region MeFoSyLoMa (Methodes Formelles pour les Systemes Logiciels et Materiels) group. The conference was supposed to take place in the chosen area of Campus Condorcet, the new international research campus for humanities and social sciences in Paris, France.
机译:该卷构成了第42届培养型股票和康复净理论(Petri网2021)的第42届国际会议的诉讼程序。这一系列会议担任年度会议场所,以讨论Petri网领域的进展以及相关模型的并发模式。这些会议为研究人员提供了一个展示和讨论这一领域的应用和理论发展的论坛。还可以提出新的工具和对现有工具的实质性增强。 Petri网2021包括一个专门应用于系统设计并发的部分,这是过去一个单独的事件。这条赛道的最后选择是由Jorg Desel和Alex Yakovlev制作的。该活动由计算机科学实验室Lipn(Lavics和验证)组织于大学Sorbonne Paris Nord和CNRS的Lipn(Laboratoiredieformatique de Paris Nord)组织,以及巴黎地区Mefosyloma的成员(Fildelles倒LES的方法Systemes Logiciels ET物资)组。会议应在法国巴黎巴黎的“新国际研究校园”,该会议举行了校园Condorcet的新闻校园。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号