Authors:
Part of the book series: Monographs in Theoretical Computer Science. An EATCS Series (EATCS)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
About this book
The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools. Some parts of the volume are theoretical while others are application oriented. The purpose of the volume is to teach the reader how to use the formal analysis methods, which does not require a deep understanding of the underlying mathematical theory.
Keywords
- Coloured Petri nets (CP-nets)
- Distributed Systems
- High-level Petri nets
- Invariants
- Occurence graphs
- Petri nets
- timed Petri nets
- data structures
Authors and Affiliations
-
University of Aarhus Dept. Computer Science, Aarhus N, Denmark
Kurt Jensen
Bibliographic Information
Book Title: Coloured Petri Nets
Book Subtitle: Basic Concepts, Analysis Methods and Practical Use. Volume 2
Authors: Kurt Jensen
Series Title: Monographs in Theoretical Computer Science. An EATCS Series
Publisher: Springer Berlin, Heidelberg
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Hardcover ISBN: 978-3-540-58276-2Published: 28 November 1994
Softcover ISBN: 978-3-642-08200-9Published: 01 December 2010
Series ISSN: 1431-2654
Series E-ISSN: 2193-2069
Edition Number: 1
Number of Pages: X, 177