先进制造业知识服务平台
国家科技图书文献中心机械分馆 工信部产业技术基础公共服务平台 国家中小企业公共服务示范平台
主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
会议文集
文集名
Application and Theory of Petri Nets and Concurrency
会议名
42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021)
中译名
《第四十二届国际皮特里网与并发性的应用及理论会议》
机构
University Sorbonne Paris Nord
会议日期
June 23-25, 2021
会议地点
Online
出版年
2021
馆藏号
339164
题名
作者
出版年
Topics in Region Theory and Synthesis Problems
Luca Bernardinello
2021
Flat Petri Nets (Invited Talk)
Jerome Leroux
2021
Cost and Quality in Crowdsourcing Workflows
Loic Helouet; Zoltan Miklos; Rituraj Singh
2021
Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design
Remi Parrot; Mikael Briday; Olivier H. Roux
2021
A Turn-Based Approach for Qualitative Time Concurrent Games
Serge Haddad; Didier Lime; Olivier H. Roux
2021
Canonical Representations for Direct Generation of Strategies in High-Level Petri Games
Manuel Gieseking; Nick Wurdemann
2021
Automatic Synthesis of Transiently Correct Network Updates via Petri Games
Martin Didriksen; Peter G. Jensen; Jonathan F. Jonler; Andrei-Ioan Katona; Sangey D. L. Lama; Frederik B. Lottrup; Shahab Shajarat; Jiri Srba
2021
Computing Parameterized Invariants of Parameterized Petri Nets
Javier Esparza; Mikhail Raskin; Christoph Welzel
2021
On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets
Nicolas Amat; Bernard Berthomieu; Silvano Dal Zilio
2021
Skeleton Abstraction for Universal Temporal Properties
Sophie Wallner; Karsten Wolf
2021
Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets
Wil M. P. van der Aalst
2021
Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets
Michael Haustermann; David Mosteller; Daniel Moldt
2021
Edge, Event and State Removal: The Complexity of Some Basic Techniques that Make Transition Systems Petri Net Implementable
Ronny Tredup
2021
Synthesis of (Choice-Free) Reset Nets
Raymond Devillers
2021
Synthesis of Petri Nets with Restricted Place-Environments: Classical and Parameterized
Ronny Tredup
2021
Discovering Stochastic Process Models by Reduction and Abstraction
Adam Burke; Sander J. J. Leemans; Moe Thandar Wynn
2021
Efficient Algorithms for Three Reachability Problems in Safe Petri Nets
Pierre Bouvier; Hubert Garavel
2021
A Lazy Query Scheme for Reachability Analysis in Petri Nets
Loig Jezequel; Didier Lime; Bastien Seree
2021
Abstraction-Based Incremental Inductive Coverability for Petri Nets
Jiawen Kang; Yunjun Bai; Li Jiao
2021
Firing Partial Orders in a Petri Net
Robin Bergenthum
2021
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024