Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and dispensed platforms, and different structures during which concurrency performs a massive function. the improvement of such platforms is very demanding as a result of inherent intricacies like attainable nondeterminism and the large variety of attainable execution sequences.
In this textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and current the comparable research tools intimately. in addition they offer a finished street map for the sensible use of CPN via showcasing chosen business case stories that illustrate the sensible use of CPN modelling and validation for layout, specification, simulation, verification and implementation in a variety of program domains.
Their presentation basically goals at readers attracted to the sensible use of CPN. therefore all techniques and constructs are first informally brought via examples after which via formal definitions (which might be skipped). The publication is preferably appropriate for a one-semester path at a complicated undergraduate or graduate point, and during its powerful software examples may also serve for self-study. An accompanying web site deals extra fabric equivalent to slides, routines and venture proposals.
Book website: http://www.cs.au.dk/CPnets/cpnbook/