Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 (Monographs in...

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 (Monographs in Theoretical ... | Kurt Jensen | Integrate three volume to one

books:

Coloured Petri Net...

	Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 (Monographs in Theoretical ... Kurt Jensen Springer, 2003 - 234 pages average customer review:based on 4 reviews view larger image
	for more information click here

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.

for more information click here

BEST BOOK FOR CPN

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!

Integrate three volume to one

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.

products you might be interested in