9783540555971 / 3540555978

Coloured Petri Nets: v. 1: Basic Concepts, Analysis Methods and Practical Use (EATCS Monographs in Theoretical Computer Science)


Publisher:Springer-Verlag Berlin and Heidelberg GmbH & Co. K



Prices INCLUDE standard shipping to United States
Show prices without shipping
Change shipping destination/currency
Shipping prices may be approximate. Please verify cost before checkout.

About the book:

This book presents a description of the theoretical and practical aspects of coloured Petri nets (CP-nets). It shows how CP-nets have been developed, from being a promising theoretical model to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems. The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. The book is also intended to attract readers who are more interested in applications than in the underlying mathematics, and a large part of the book is written a style which is closer to an engineering textbook or a user manual than a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model and the basic concepts. It gives a detailed presentation of many applications. It introduces the formal analysis methods. Finally, it contains a description of a set of CP-nets. Most of the material in this volume is application oriented. its purpose is to teach the reader how to construct CP-net models and analyze them by means of simulation.

Search under way...

Search complete.

Click on the price to find out more about a book.

New books: 1 - 2 of 2


Used books: 1 - 22 of 22