Limit search to available items
Book Cover
E-book

Title Transactions on petri nets and other models of concurrency V / Kurt Jensen, Susanna Donatelli, Jetty Kleijn (eds.)
Published Berlin ; New York : Springer, [2012]
©2012
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xiv, 291 pages)
Series Lecture notes in computer science, 0302-9743 ; 6900
Lecture notes in computer science ; 6900
Contents Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks / Murad Banaji -- Modeling and Mining of Learnflows / Robin Bergenthum, Jörg Desel, Andreas Harrer and Sebastian Mauser -- Ten Years of Saturation: A Petri Net Perspective / Gianfranco Ciardo, Yang Zhao and Xiaoqing Jin -- Refinement and Asynchronous Composition of Modal Petri Nets / Dorsaf Elhog-Benzina, Serge Haddad and Rolf Hennicker -- Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets / Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet and Sami Evangelista -- Bounded Model Checking for Parametric Timed Automata / Michał Knapik and Wojciech Penczek -- Synthesis Problem for Petri Nets with Localities / Maciej Koutny and Marta Pietkiewicz-Koutny -- A Petri Net Perspective on the Resource Allocation Problem in Software Engineering / Juan-Pablo López-Grao and José-Manue Colom -- Nets-Within-Nets Paradigm and Grid Computing / Marco Mascheroni and Fabio Farina -- Incremental Process Discovery / Marc Solé and Josep Carmona -- Providing an Agent Flavored Integration for Workflow Management / Thomas Wagner, José Quenum, Daniel Moldt and Christine Reese -- A Graphical Approach to Component-Based and Extensible Model Checking Platforms / Michael Westergaard and Lars Michael Kristensen
Summary Annotation These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains:- Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences- Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series)- Other papers invited for publication in ToPNoC- Papers submitted directly to ToPNoC by their authorsThe fifth volume of ToPNoC contains revised versions of selected papers from workshops and tutorials held in conjunction with the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, as well as a contributed paper selected through the regular submission track of ToPNoC. The 12 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Thus, this volume gives a good view of ongoing concurrent systems and Petri nets research
Analysis Computer science
Computer Communication Networks
Software engineering
Information theory
Computer software
Computer simulation
Models and Principles
Theory of Computation
Algorithm Analysis and Problem Complexity
Bibliography Includes bibliographical references and author index
Subject Petri nets -- Congresses.
Genre/Form Conference papers and proceedings.
Computer software.
Conference papers and proceedings.
Form Electronic book
Author Jensen, K. (Kurt), 1950-
Donatelli, Susanna.
Kleijn, Jetty.
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (31st : 2010 : Braga, Portugal)
ISBN 9783642290725 (electronic bk.)
3642290728 (electronic bk.)
Other Titles Transactions on petri nets and other models of concurrency 5