default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID33rd Petri Nets 2012: Hamburg, Germany
- Serge Haddad, Lucia Pomello:
Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings. Lecture Notes in Computer Science 7347, Springer 2012, ISBN 978-3-642-31130-7
Invited Papers
- Tony Hoare:
Net Models for Concurrent Object Behaviour. 1-2 - Alain Finkel, Jean Goubault-Larrecq:
The Theory of WSTS: The Case of Complete WSTS. 3-31
Regular Papers
- Thomas Mailund
, Anders E. Halager, Michael Westergaard:
Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods. 32-50 - Marc Solé, Josep Carmona:
An SMT-Based Discovery Algorithm for C-Nets. 51-71 - Wil M. P. van der Aalst:
Decomposing Process Mining Problems Using Passages. 72-91 - Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong:
Complexity of the Soundness Problem of Bounded Workflow Nets. 92-107 - María Martos-Salgado, Fernando Rosa-Velardo:
Cost Soundness for Priced Resource-Constrained Workflow Nets. 108-127 - Éric Badouel:
On the α-Reconstructibility of Workflow Nets. 128-147 - Matthias Weidlich, Jan Martijn E. M. van der Werf:
On Profiles and Footprints - Relational Semantics for Petri Nets. 148-167 - Dirk Fahland, Robert Prüfer:
Data and Abstraction for Scenario-Based Modeling with Petri Nets. 168-187 - Xu Wang:
Maximal Confluent Processes. 188-207 - Antti Valmari, Henri Hansen:
Old and New Algorithms for Minimal Coverability Sets. 208-227 - Andreas Lehmann, Niels Lohmann, Karsten Wolf:
Stubborn Sets for Simple Linear Time Properties. 228-247 - Sami Evangelista, Lars Michael Kristensen:
Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method. 248-267 - Astrid Rakow:
Safety Slicing Petri Nets. 268-287 - Veronica Gil-Costa, Jair Lobos, Alonso Inostrosa-Psijas, Mauricio Marín:
Capacity Planning for Vertical Search Engines: An Approach Based on Coloured Petri Nets. 288-307 - Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst:
An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets. 308-327 - Debjyoti Bera, Kees M. van Hee, Jan Martijn E. M. van der Werf:
Designing Weakly Terminating ROS Systems. 328-347 - Frédéric Cristini, Catherine Tessier:
Nets-within-Nets to Model Innovative Space System Architectures. 348-367 - Frank Heitmann, Michael Köhler-Bußmeier:
P- and T-Systems in the Nets-within-Nets-Formalism. 368-387
Tool Papers
- Simon Spinner, Samuel Kounev, Philipp Meier:
Stochastic Modeling and Analysis Using QPME: Queueing Petri Net Modeling Environment v2.0. 388-397 - Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr, Martin Schwarick:
Snoopy - A Unifying Petri Net Tool. 398-407 - Stefan Korecko, Ján Marcincin, Viliam Slodicák:
CPN Assistant II: A Tool for Management of Networked Simulations. 408-417
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 2024-12-31 21:54 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:
