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

Kurt Jensen (Author)

Book Description

Publication Date: April 28, 2003 | ISBN-10: 3540609431 | ISBN-13: 978-3540609438 | Edition: 2nd

This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets. These CP-nets are shown to be a full-fledged language for the design, specification, simulation, validation and implementation of large software systems. The introductory first volume contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. It gives a detailed presentation of many small examples and a brief overview of some industrial applications. The purpose of the book is to teach the reader how to construct CP-net models and analyse them by means of simulation. The book is also attractive to readers who are more interested in applications than in the underlying mathematics.

Product Details

• Hardcover: 246 pages
• Publisher: Springer; 2nd edition (April 28, 2003)
• Language: English
• ISBN-10: 3540609431
• ISBN-13: 978-3540609438
• Product Dimensions: 9.4 x 6.1 x 0.6 inches
• Shipping Weight: 14.9 ounces (View shipping rates and policies)
• Average Customer Review: 2.8 out of 5 stars  See all reviews (4 customer reviews)
• Amazon Best Sellers Rank: #2,734,578 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

1 of 3 people found the following review helpful:

2.0 out of 5 stars Integrate three volume to one, February 17, 2000

By 

Jack Tseng (Taiwan) - See all my reviews

This review is from: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Monographs in Theoretical Computer Science a Series of Eatcs) (3 Volumes) (Hardcover)

I feel that the writing style is a little confusing even though Jensen is a master. I also recommend to integrate the three volume to one due to the simplicity and vol. 2 just took 182 pages. In addition, the notations relatively differ from the ones in Peterson's Petri nets.

0 of 2 people found the following review helpful:

2.0 out of 5 stars Integrate three volume to one, February 17, 2000

By 

Jack Tseng (Taiwan) - See all my reviews

This review is from: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Monographs in Theoretical Computer Science a Series of Eatcs) (3 Volumes) (Hardcover)

I feel that the writing style is a little confusing even though Jensen is a master. I also recommend to integrate the three volumes to one due to the simplicity and vol. 2 just took 182 pages. In addition, the notations relatively differ from the ones in Peterson's Petri nets.

0 of 2 people found the following review helpful:

5.0 out of 5 stars BEST BOOK FOR CPN, December 14, 1999

By 

Zeng Qingtian (China) - See all my reviews

This review is from: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Monographs in Theoretical Computer Science a Series of Eatcs) (3 Volumes) (Hardcover)

It is the best book of CPN for the people who intriest in Coloured Petri nets.And it is very helpful to the research fo CPN.Though I haven't owned this book,I wash Icould get it in the near day!