Transactions on Petri Nets and Other Models of Concurrency V  [electronic resource] / 
edited by Kurt Jensen, Susanna Donatelli, Jetty Kleijn. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2012. 
 - 1 online resource (XVII, 293 p.) 
 - Lecture Notes in Computer Science,  6900  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642290725 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Computers.<br/>Algorithms.<br/>Computer simulation.