default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID34th Petri Nets 2013: Milan, Italy
- José Manuel Colom
, Jörg Desel:
Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Lecture Notes in Computer Science 7927, Springer 2013, ISBN 978-3-642-38696-1
Invited Papers
- Kees M. van Hee, Natalia Sidorova:
The Right Timing: Reflections on the Modeling and Analysis of Time. 1-20 - Stéphane Lafortune, Yin Wang, Spyros A. Reveliotis:
Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets. 21-28
Regular Papers
- César Rodríguez, Stefan Schwoon, Victor Khomenko:
Contextual Merged Processes. 29-48 - Gilles Geeraerts, Alexander Heußner, M. Praveen, Jean-François Raskin:
ω-Petri Nets. 49-69 - Ernst W. Mayr, Jeremias Weihmann:
Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets. 70-89 - Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang:
A Semantics for Every GSPN. 90-109 - Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis:
Expressing and Computing Passage Time Measures of GSPN Models with HASL. 110-129 - Hanifa Boucheneb, Didier Lime, Olivier H. Roux:
On Multi-enabledness in Time Petri Nets. 130-149 - Michael Köhler-Bußmeier, Frank Heitmann:
Complexity Results for Elementary Hornets. 150-169 - Estíbaliz Fraca, Serge Haddad:
Complexity Analysis of Continuous Petri Nets. 170-189 - Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev:
Step Persistence in the Design of GALS Systems. 190-209 - Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny:
A Taxonomy of Persistent and Nonviolent Steps. 210-229 - David R. Gilbert, Monika Heiner, Fei Liu, Nigel J. Saunders:
Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology. 230-249 - Monica Clemente, Maria Pia Fanti, Agostino Marcello Mangini, Walter Ukovich:
The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework. 250-269 - Matthias Weidlich, Jan Mendling, Avigdor Gal:
Net-Based Analysis of Event Processing Networks - The Fast Flower Delivery Case. 270-290 - Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst:
Hierarchical Conformance Checking of Process Models Based on Event Logs. 291-310 - Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst:
Discovering Block-Structured Process Models from Event Logs - A Constructive Approach. 311-329 - Robin Bergenthum:
Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows. 330-348 - Alexis Marechal, Didier Buchs:
Unifying the Semantics of Modular Extensions of Petri Nets. 349-368 - Serge Haddad, Rolf Hennicker, Mikael H. Møller:
Channel Properties of Asynchronously Composed Petri Nets. 369-388
Tool Papers
- Monika Heiner, Christian Rohr, Martin Schwarick:
MARCIE - Model Checking and Reachability Analysis Done Efficiently. 389-399 - Michael Westergaard:
CPN Tools 4: Multi-formalism and Extensibility. 400-409
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 2026-02-10 22:37 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:
