Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
