This three-volume work presents a coherent description of the
theoretical and practical aspects of coloured Petri nets (CP-nets).
The second volume contains a detailed presentation of the analysis
methods for CP-nets. They allow the modeller to investigate dynamic
properties of CP-nets.
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.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Monographs in Theoretical Computer Science. An EATCS Series |
Release date: |
December 2010 |
First published: |
1995 |
Authors: |
Kurt Jensen
|
Dimensions: |
235 x 155 x 11mm (L x W x T) |
Format: |
Paperback
|
Pages: |
177 |
Edition: |
Softcover reprint of hardcover 1st ed. 1995 |
ISBN-13: |
978-3-642-08200-9 |
Categories: |
Books >
Computing & IT >
Computer programming >
General
|
LSN: |
3-642-08200-9 |
Barcode: |
9783642082009 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!