default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID41st Petri Nets 2020: online event [Paris, France]
- Ryszard Janicki
, Natalia Sidorova, Thomas Chatain:
Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings. Lecture Notes in Computer Science 12152, Springer 2020, ISBN 978-3-030-51830-1
Application of Concurrency to System Design
- Pierre Bouvier, Hubert Garavel, Hernán Ponce de León:
Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. 3-23 - Pierre Bourhis, Loïc Hélouët, Zoltán Miklós, Rituraj Singh:
Data Centric Workflows for Crowdsourcing. 24-45 - Isabella Kaufmann, Kim Guldstrand Larsen, Jirí Srba:
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. 46-66
Languages and Synthesis
- Olivier Finkel:
On the High Complexity of Petri Nets ømega-Languages. 69-88 - Eike Best, Raymond R. Devillers, Evgeny Erofeev:
A New Property of Choice-Free Petri Net Systems. 89-108 - Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba:
On-the-Fly Synthesis for Strictly Alternating Games. 109-128
Semantics
- Roberto Gorrieri:
Interleaving vs True Concurrency: Some Instructive Security Examples. 131-152 - Roberto Gorrieri:
A Study on Team Bisimulations for BPP Nets. 153-175 - Rüdiger Valk:
Circular Traffic Queues and Petri's Cycloids. 176-195 - Guanjun Liu:
PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets. 196-216
Process Mining and Applications
- Paolo Ballarini, Davide Duma, András Horváth, Roberto Aringhieri:
Petri Nets Validation of Markovian Models of Emergency Department Arrivals. 219-238 - Vadim Denisov, Dirk Fahland, Wil M. P. van der Aalst:
Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources. 239-259 - Xavier Allamigeon, Marin Boyet, Stéphane Gaubert:
Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers. 260-279 - Anna A. Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa:
Automated Repair of Process Models Using Non-local Constraints. 280-300
Extensions and Model Checking
- Yann Thierry-Mieg:
Structural Reductions Revisited. 303-323 - Martin Schwarick, Christian Rohr, Fei Liu, George Assaf, Jacek Chodak, Monika Heiner:
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams. 324-344 - Serge Haddad, Igor Khmelnitsky:
Dynamic Recursive Petri Nets. 345-366
Tools
- Wil M. P. van der Aalst, Daniel Tacke genannt Unterberg, Vadim Denisov, Dirk Fahland:
Visualizing Token Flows Using Interactive Performance Spectra. 369-380 - Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
SNexpression: A Symbolic Calculator for Symmetric Net Expressions. 381-391 - Jörg Desel, Marc Finthammer, Andrea Frank:
Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets. 392-402 - Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà:
A CTL* Model Checker for Petri Nets. 403-413 - Jan Martijn E. M. van der Werf, Artem Polyvyanyy:
The Information Systems Modeling Suite - Modeling the Interplay Between Information and Processes. 414-425 - Silvano Dal-Zilio:
MCC: A Tool for Unfolding Colored Petri Nets in PNML Format. 426-435
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
