Image from Google Jackets

Transactions on Petri Nets and Other Models of Concurrency V [electronic resource] / edited by Kurt Jensen, Susanna Donatelli, Jetty Kleijn.

Contributor(s): Material type: TextTextLanguage: English Series: Lecture Notes in Computer Science ; 6900Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Description: 1 online resource (XVII, 293 p.)ISBN:
  • 9783642290725
Subject(s): Online resources:
Contents:
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Materials specified Status Date due Barcode Item holds
Books Books National Library of India Available EBK000023308ENG
Total holds: 0

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.

There are no comments on this title.

to post a comment.
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India