TY  - BOOK
AU  - Colom,José-Manuel
AU  - Desel,Jörg
TI  - Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings 
SN  - 9783642386978
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Data structures (Computer science)
KW  - Computers
KW  - Computer logic
KW  - Mathematical statistics
N1  - The Right Timing: Reflections on the Modeling and Analysis of Time -- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets -- Contextual Merged Processes -- ω-Petri Nets -- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets -- A Semantics for Every GSPN -- Expressing and Computing Passage Time Measures of GSPN Models with HASL -- On Multi-enabledness in Time Petri Nets -- Complexity Results for Elementary Hornets -- Complexity Analysis of Continuous Petri Nets -- Step Persistence in the Design of GALS Systems -- A Taxonomy of Persistent and Nonviolent Steps -- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology -- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework -- Net-Based Analysis of Event Processing Networks - The Fast Flower Delivery Case -- Hierarchical Conformance Checking of Process Models Based on Event Logs -- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach -- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows -- Unifying the Semantics of Modular Extensions of Petri Nets -- Channel Properties of Asynchronously Composed Petri Nets -- MARCIE - Model Checking and Reachability Analysis Done Efficiently -- CPN Tools 4: Multi-formalism and Extensibility
UR  - http://dx.doi.org/10.1007/978-3-642-38697-8
ER  -