default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID38th Petri Nets 2017: Zaragoza, Spain
- Wil M. P. van der Aalst
, Eike Best:
Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings. Lecture Notes in Computer Science 10258, Springer 2017, ISBN 978-3-319-57860-6
Invited Talks
- Josep Carmona:
The Alignment of Formal, Structured and Unstructured Process Descriptions. 3-11 - Christos G. Cassandras:
Complexity Made Simple (at a Small Price). 12-18 - Irina A. Lomazova:
Resource Equivalences in Petri Nets. 19-34
Simulation of Colored Petri Nets
- Franck Pommereau, Jordan de la Houssaye:
Faster Simulation of (Coloured) Petri Nets Using Parallel Computing. 37-56 - Junxian Liu, Lin Liu, Tao Chen:
Evaluating and Improving SIP Non-INVITE Transaction to Alleviate the Losing Race Problem. 57-77 - Xiangdong Huang, Jianmin Wang, Jialin Qiao, Liangfan Zheng, Jinrui Zhang, Raymond K. Wong:
Performance and Replica Consistency Simulation for Quorum-Based NoSQL System Cassandra. 78-98
Petri Net Tools
- Benjamin Meis, Robin Bergenthum, Jörg Desel:
travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States. 101-111 - Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
An Integrated Environment for Petri Net Slicing. 112-124 - Lom-Messan Hillah, Fabrice Kordon:
Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools. 125-135
Model Checking
- Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba:
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. 139-158 - Karsten Wolf:
Model Checking Concurrency and Causality. 159-178
Liveness and Opacity
- Luca Bernardinello, Görkem Kilinç, Lucia Pomello:
Weak Observable Liveness and Infinite Games on Finite Graphs. 181-199 - Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon:
The Complexity of Diagnosability and Opacity Verification for Petri Nets. 200-220
Stochastic Petri Nets
- Kristóf Marussy, Vince Molnár, András Vörös, István Majzik:
Getting the Priorities Right: Saturation for Prioritised Petri Nets. 223-242 - Elvio Gilberto Amparore, Susanna Donatelli, Elisa Landini:
Modelling and Evaluation of a Control Room Application. 243-263
Specific Net Classes
- Thomas Hujsa, Raymond Devillers:
On Liveness and Deadlockability in Subclasses of Weighted Petri Nets. 267-287 - Michael Köhler-Bußmeier:
Restricting Hornets to Support Self-adaptive Systems. 288-306
Petri Nets for Pathways
- Rozália Lakner, Ferenc Friedler, Botond Bertók:
Synthesis and Analysis of Process Networks by Joint Application of P-graphs and Petri Nets. 309-329 - Dimitri Watel, Marc-Antoine Weisser, Dominique Barth:
Parameterized Complexity and Approximability of Coverability Problems in Weighted Petri Nets. 330-349
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-11-17 22:41 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:
