Coloured Petri Nets

Beschreibung

"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)

Autor*in

Kurt Jensen

Themen in »Coloured Petri Nets«

Coloured Petri nets (CP-nets) Distributed Systems High-level Petri nets Invariants Occurence graphs Petri nets timed Petri nets data structures

Stimmen zu »Coloured Petri Nets«

Details

Link teilen