TY  - BOOK
AU  - Jensen,Kurt
AU  - Donatelli,Susanna
AU  - Kleijn,Jetty
TI  - Transactions on Petri Nets and Other Models of Concurrency V
SN  - 9783642290725
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer communication systems
KW  - Software engineering
KW  - Computers
KW  - Algorithms
KW  - Computer simulation
N1  - Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks -- Modeling and Mining of Learnflows -- Ten Years of Saturation: A Petri Net Perspective -- Refinement and Asynchronous Composition of Modal Petri Nets -- Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets -- Bounded Model Checking for Parametric Timed Automata -- Synthesis Problem for Petri Nets with Localities -- A Petri Net Perspective on the Resource Allocation Problem in Software Engineering -- Nets-Within-Nets Paradigm and Grid Computing -- Incremental Process Discovery -- Providing an Agent Flavored Integration for Workflow Management -- A Graphical Approach to Component-Based and Extensible Model Checking Platforms
UR  - http://dx.doi.org/10.1007/978-3-642-29072-5
ER  -