Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 (Monographs in Theoretical Computer Science. An EATCS Series)

Jensen, Kurt

ISBN 10: 3642082009 / ISBN 13: 9783642082009

Editore: Springer, 2010

Riguardo questo articolo

Codice articolo I-9783642082009

Dati bibliografici

Titolo: Coloured Petri Nets: Basic Concepts, ...

Casa editrice: Springer

Data di pubblicazione: 2010

Legatura: Brossura

Condizione: New

Descrizione articolo

Riassunto:

"Unlike most books on Petri nets, which try to illustrate all aspects of the formalism, this volume focuses on a specific subject: the analysis of CP-nets. - The style, exercises, and bibliographical remarks makes this book useful as a textbook for an advanced course on CP-nets, which should follow a course based on the first volume." (M. Pezzé in Computing Reviews, August 1996)

Contenuti:

Contents Overview: Full Occurrence Graphs.- Occurrence Graphs with Equivalence Classes.- Occurrence Graphs with Symmetries.- Invariants.- Timed CP-nets.- References.- Index.