Application and Theory of Petri Nets and Concurrency  34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings /  [electronic resource] : 
edited by José-Manuel Colom, Jörg Desel. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (XII, 411 p. 166 ill.) 
 - Lecture Notes in Computer Science,  7927  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642386978 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Data structures (Computer science).<br/>Computers.<br/>Computer logic.<br/>Mathematical statistics.