Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Application and Theory of Petri Nets and Concurrency: 34th International Conference, Petri Nets 2013, Milan, Italy, June 24-28, 2013, Proceedings

Application and Theory of Petri Nets and Concurrency: 34th International Conference, Petri Nets 2013, Milan, Italy, June 24-28, 2013, Proceedings

Desel, Jörg
Colom, Jose-Manuel

Paperback

FictionNetworkingProgramming

ISBN10: 3642386962
ISBN13: 9783642386961
Publisher: Springer
Published: Jun 6 2013
Pages: 411
Weight: 1.30
Height: 0.86 Width: 6.14 Depth: 9.21
Language: English
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.

1 different editions

Also available

Also in

Programming

View All