Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Front Matter....Pages -
Net Models for Concurrent Object Behaviour....Pages 1-2
The Theory of WSTS: The Case of Complete WSTS....Pages 3-31
Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods....Pages 32-50
An SMT-Based Discovery Algorithm for C-Nets....Pages 51-71
Decomposing Process Mining Problems Using Passages....Pages 72-91
Complexity of the Soundness Problem of Bounded Workflow Nets....Pages 92-107
Cost Soundness for Priced Resource-Constrained Workflow Nets....Pages 108-127
On the α -Reconstructibility of Workflow Nets....Pages 128-147
On Profiles and Footprints – Relational Semantics for Petri Nets....Pages 148-167
Data and Abstraction for Scenario-Based Modeling with Petri Nets....Pages 168-187
Maximal Confluent Processes....Pages 188-207
Old and New Algorithms for Minimal Coverability Sets....Pages 208-227
Stubborn Sets for Simple Linear Time Properties....Pages 228-247
Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method....Pages 248-267
Safety Slicing Petri Nets....Pages 268-287
Capacity Planning for Vertical Search Engines: An Approach Based on Coloured Petri Nets....Pages 288-307
An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets....Pages 308-327
Designing Weakly Terminating ROS Systems....Pages 328-347
Nets-within-Nets to Model Innovative Space System Architectures....Pages 348-367
P- and T-Systems in the Nets-within-Nets-Formalism....Pages 368-387
Stochastic Modeling and Analysis Using QPME: Queueing Petri Net Modeling Environment v2.0....Pages 388-397
Snoopy – A Unifying Petri Net Tool....Pages 398-407
CPN Assistant II: A Tool for Management of Networked Simulations....Pages 408-417
Back Matter....Pages -