Coloured Petri Nets (CPN) is a graphical language for modelling
and validating concurrent and distributed systems, and other
systems in which concurrency plays a major role. The development of
such systems is particularly challenging because of inherent
intricacies like possible nondeterminism and the immense number of
possible execution sequences.
In this textbook Jensen and Kristensen introduce the constructs
of the CPN modelling language and present the related analysis
methods in detail. They also provide a comprehensive road map for
the practical use of CPN by showcasing selected industrial case
studies that illustrate the practical use of CPN modelling and
validation for design, specification, simulation, verification and
implementation in various application domains.
Their presentation primarily aims at readers interested in the
practical use of CPN. Thus all concepts and constructs are first
informally introduced through examples and then followed by formal
definitions (which may be skipped). The book is ideally suitable
for a one-semester course at an advanced undergraduate or graduate
level, and through its strong application examples can also serve
for self-study. An accompanying website offers additional material
such as slides, exercises and project proposals.
Book website: http: //www.cs.au.dk/CPnets/cpnbook/
General
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!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
