|
" Application and theory of petri nets : "
Jose-Manuel Colom, Jorg Desel (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
748053
|
| Doc. No
|
:
|
b568006
|
| Main Entry
|
:
|
Jose-Manuel Colom, Jorg Desel (eds.).
|
| Title & Author
|
:
|
Application and theory of petri nets : : 34th international conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013 : proceedings\ Jose-Manuel Colom, Jorg Desel (eds.).
|
| Publication Statement
|
:
|
Heidelberg : Springer, ©2013.
|
| Series Statement
|
:
|
Lecture notes in computer science, 7927.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
|
| Page. NO
|
:
|
(409 pages) : illustrations
|
| ISBN
|
:
|
3642386962
|
|
|
:
|
: 3642386970
|
|
|
:
|
: 9783642386961
|
|
|
:
|
: 9783642386978
|
| Notes
|
:
|
Purchased title.Multi-user access.International conference proceedings.
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Petri nets -- Congresses.
|
| Subject
|
:
|
Petri nets.
|
| Added Entry
|
:
|
Jörg Desel
|
|
|
:
|
José-Manuel Colom
|
| Parallel Title
|
:
|
PETRI NETS 2013
|
| |