首页>外文会议>International Conference in Application and Theory of Petri Nets and Concurrency

International Conference in Application and Theory of Petri Nets and Concurrency

召开年：2020
召开地：Paris(FR)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Ryszard Janicki;Natalia Sidorova;Thomas Chatain
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
2.Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account

机译：Petri网自动分解为自动机网络-综合帐户
- 作者：Pierre Bouvier;Hubert Garavel;Hernan Ponce-de-Leon
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
3.Data Centric Workflows for Crowdsourcing

机译：以数据为中心的众包工作流
- 作者：Pierre Bourhis;Loiec Heloueet;Zoltan Miklos;Rituraj Singh
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
4.Synthesis for Multi-weighted Games with Branching-Time Winning Conditions

机译：具有分支时间获胜条件的多加权博弈综合
- 作者：Isabella Kaufmann;Kim Guldstrand Larsen;Jiri Srba
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
5.On the High Complexity of Petri Nets ω-Languages

机译：关于Petri网ω语言的高度复杂性
- 作者：Olivier Finkel
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
6.A New Property of Choice-Free Petri Net Systems

机译：自由选择Petri网系统的新特性
- 作者：Eike Best;Raymond Devillers;Evgeny Erofeev
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
- Petri nets;
- Synthesis;
- Choice-freeness;
- Structural conditions;
7.On-the-Fly Synthesis for Strictly Alternating Games

机译：严格交替比赛的即时综合
- 作者：Shyam Lal Karra;Kim Guldstrand Larsen;Marco Muniz;Jiri Srba
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
8.Interleaving vs True Concurrency: Some Instructive Security Examples

机译：交织与真正并发：一些指导性安全示例
- 作者：Roberto Gorrieri
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
9.A Study on Team Bisimulations for BPP Nets

机译：BPP网络的团队双重仿真研究
- 作者：Roberto Gorrieri
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
10.Circular Traffic Queues and Petri's Cycloids

机译：循环交通队列和Petri摆线
- 作者：Ruediger Valk
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
- Cycloids;
- Analysis and synthesis of Petri nets;
- Structure of Petri nets;
- Circular traffic queues;
11.PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets

机译：安全非对称选择工作流网的健全性问题的PSPACE完全性
- 作者：Guanjun Liu
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
- Petri nets;
- Workflow nets;
- Asymmetric-choice nets;
- Soundness Liveness;
- PSPACE-completeness;
12.Petri Nets Validation of Markovian Models of Emergency Department Arrivals

机译：应急部门到来的马尔可夫模型的Petri网验证
- 作者：Paolo Ballarini;Davide Duma;Andras Horvath;Roberto Aringhieri
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
- Stochastic petri nets;
- Markovian models;
- ED arrival process;
13.Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources

机译：使用丢失的事件修复事件日志以支持具有共享资源的系统的性能分析
- 作者：Vadim Denisov;Dirk Fahland;Wil M. P. van der Aalst
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
- Log repair;
- Process mining;
- Performance analysis;
- Modeling;
- Material handling systems;
14.Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers

机译：定时Petri网的分段仿射动力学模型-应用于紧急呼叫中心
- 作者：Xavier Allamigeon;Marin Boyet;Stephane Gaubert
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
- Timed Petri net;
- Performance evaluation;
- Markov decision process;
- Tropical geometry;
- Emergency call center;
15.Automated Repair of Process Models Using Non-local Constraints

机译：使用非本地约束自动修复过程模型
- 作者：Anna Kalenkova;Josep Carmona;Artem Polyvyanyy;Marcello La Rosa
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
16.Structural Reductions Revisited

机译：再谈结构性缩减
- 作者：Yann Thierry-Mieg
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
17.Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams

机译：使用区间决策图有效展开有色Petri网
- 作者：Martin Schwarick;Christian Rohr;Fei Liu;George Assaf;Jacek Chodak;Monika Heiner
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
- Coloured Petri nets;
- Unfolding;
- Symbolic data structures;
- Interval decision diagrams;
18.Dynamic Recursive Petri Nets

机译：动态递归Petri网
- 作者：Serge Haddad;Igor Khmelnitsky
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
- Recursive Petri nets;
- Expressiveness;
- Coverability;
- Decidability;
19.Visualizing Token Flows Using Interactive Performance Spectra

机译：使用交互式性能频谱可视化令牌流
- 作者：Wil M. P. van der Aalst;Daniel Tacke Genannt Unterberg;Vadim Denisov;Dirk Fahland
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
- Process mining;
- Visual analytics;
- Petri nets;
- Performance spectrum;
20.SNexpression: A Symbolic Calculator for Symmetric Net Expressions

机译：SNexpression：用于对称网络表达式的符号计算器
- 作者：Lorenzo Capra;Massimiliano De Pierro;Giuliana Franceschinis
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
21.CyclOn - A Tool for Determining Stop-Transitions of Petri Nets

机译：CyclOn-确定陪替氏网停止转变的工具
- 作者：Joerg Desel;Marc Finthammer;Andrea Frank
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
- Unbounded Petri nets;
- Coverability graphs;
- Termination;
22.A CTL* Model Checker for Petri Nets

机译：Petri网的CTL *模型检查器
- 作者：Elvio Gilberto Amparore;Susanna Donatelli;Francesco Galla
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
23.The Information Systems Modeling Suite Modeling the Interplay Between Information and Processes

机译：信息系统建模套件，对信息与流程之间的相互作用进行建模
- 作者：Jan Martijn E. M. van der Werf;Artem Polyvyanyy
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
- Information systems;
- Modeling;
- Simulating;
- Tools;
24.MCC: A Tool for Unfolding Colored Petri Nets in PNML Format

机译：MCC：展开PNML格式的彩色Petri网的工具
- 作者：Silvano Dal Zilio
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2020年
- Tools;
- PNML;
- High-Level Petri Nets;
- Colored Petri nets;
25.A Turn-Based Approach for Qualitative Time Concurrent Games

机译：基于转向的定性时间并发游戏方法
- 作者：Serge Haddad;Didier Lime;Olivier H. Roux
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
26.Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets

机译：使用诱导的子网减少系统地证明自由选择网的性质
- 作者：Wil M. P. van der Aalst
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
- Petri nets;
- Free-choice nets;
- Net reduction;
- Lucency;
27.Synthesis of (Choice-Free) Reset Nets

机译：合成（选择）重置网
- 作者：Raymond Devillers
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
- Labelled transition systems;
- Reset nets;
- Choice-freeness;
- Synthesis;
28.Firing Partial Orders in a Petri Net

机译：在Petri网中射击部分订单
- 作者：Robin Bergenthum
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
29.Cost and Quality in Crowdsourcing Workflows

机译：众包工作流程中的成本和质量
- 作者：Loiec Heloueet;Zoltan Miklos;Rituraj Singh
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
- Crowdsourcing;
- Data-centric workflows;
30.Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design

机译：定时培养网，具有流水线同步电路设计重置
- 作者：Remi Parrot;Mikaeel Briday;Olivier H. Roux
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
31.Skeleton Abstraction for Universal Temporal Properties

机译：通用时间特性的骨架抽象
- 作者：Sophie Wallner;Karsten Wolf
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
32.Efficient Algorithms for Three Reachability Problems in Safe Petri Nets

机译：高效算法，安全培养网中的三个可达性问题
- 作者：Pierre Bouvier;Hubert Garavel
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
33.Deterministic Concurrent Systems

机译：确定性化并发系统
- 作者：Samy Abbes
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
- Trace monoid;
- Moebius transform;
- Concurrency;
- Lattice;
34.Flat Petri Nets (Invited Talk)

机译：平的培养网（邀请谈话）
- 作者：Jerome Leroux
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
- Formal methods;
- Petri nets;
- Flat systems;
- Presburger arithmetic;
35.On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets

机译：论Petri网的多面体抽象与SMT模型检查的组合
- 作者：Nicolas Amat;Bernard Berthomieu;Silvano Dal Zilio
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
36.Synthesis of Petri Nets with Restricted Place-Environments: Classical and Parameterized

机译：具有限制性环境的培养网的合成：经典和参数化
- 作者：Ronny Tredup
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
37.PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data

机译：事实证明：用于图形表示的工具和不确定事件数据的分析
- 作者：Marco Pegoraro;Merih Seran Uysal;Wil M.P. van der Aalst
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
- Process mining;
- Uncertain data;
- Partial order;
- Petri net tool;
38.Preface

机译：前言
- 作者：Didier Buchs;Josep Carmona
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
39.Topics in Region Theory and Synthesis Problems

机译：区域理论和综合问题的主题
- 作者：Luca Bernardinello
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
40.Automatic Synthesis of Transiently Correct Network Updates via Petri Games

机译：通过Petri游戏自动综合瞬时正确的网络更新
- 作者：Martin Didriksen;Peter G. Jensen;Jonathan F. Jonler;Andrei-Ioan Katona;Sangey D.L. Lama;Frederik B. Lottrup;Shahab Shajarat;Jiri Srba
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
41.Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets

机译：使用高级Petri网的同步域特定多重形式模型的模型检查
- 作者：Michael Haustermann;David Mosteller;Daniel Moldt
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
- Meta-modeling;
- Petri nets;
- Model checking;
- Verification;
- Multi-formalism;
- Graphical feedback;
- Reference Nets;
- CTL;
- Model synchronization;
- DSML;
42.Edge, Event and State Removal: The Complexity of Some Basic Techniques that Make Transition Systems Petri Net Implementable

机译：边缘，事件和状态删除：一些基本技术的复杂性，使过渡系统培养系统可实现
- 作者：Ronny Tredup
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
43.Discovering Stochastic Process Models by Reduction and Abstraction

机译：通过减少和抽象来发现随机过程模型
- 作者：Adam Burke;Sander J.J. Leemans;Moe Thandar Wynn
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
- Stochastic Petri Nets;
- Process mining;
- Stochastic process discovery;
- Stochastic process mining;
44.A Lazy Query Scheme for Reachability Analysis in Petri Nets

机译：Petri网可达性分析的延迟查询方案
- 作者：Loieg Jezequel;Didier Lime;Bastien Seree
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
- Reachability analysis;
- Unbounded Petri nets;
- Inhibitor arcs;
- Lazy algorithms;
45.Abstraction-Based Incremental Inductive Coverability for Petri Nets

机译：基于抽象的增量电感覆盖性培养网
- 作者：Jiawen Kang;Yunjun Bai;Li Jiao
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
- Petri nets;
- Inductive invariants;
- Coverability;
- IC3;
- Place-merge abstraction;
46.Deciphering the Co-Car Anomaly of Circular Traffic Queues Using Petri Nets

机译：使用Petri网解密圆形交通队列的Co-Car异常
- 作者：Ruediger Valk
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
- Circular traffic queues;
- Coloured petri nets;
- Unfoldings;
- Structure of petri nets;
- Cycloids;
- Cycloid algebra;
- Iteration of cycloids;
47.Cortado-An Interactive Tool for Data-Driven Process Discovery and Modeling

机译：Cortado-一种用于数据驱动过程发现和建模的交互式工具
- 作者：Daniel Schuster;Sebastiaan J. van Zelst;Wil M. P. van der Aalst
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
- Process mining;
- Interactive process discovery;
- Process trees;
- Block-structured workflow nets;
- Process modeling;
48.Canonical Representations for Direct Generation of Strategies in High-Level Petri Games

机译：用于直接生成高级培养比赛战略的规范陈述
- 作者：Manuel Gieseking;Nick Wuerdemann
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年
49.Computing Parameterized Invariants of Parameterized Petri Nets

机译：计算参数化Petri网的参数化不变性
- 作者：Javier Esparza;Mikhail Raskin;Christoph Welzel
- 会议名称：《International Conference in Application and Theory of Petri Nets and Concurrency》 | 2021年