![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
33rd 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.