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.
Contents Overview: Informal Introduction to Coloured Petri Nets.- Formal Definition of Coloured Petri Nets.- Hierarchical Coloured Petri Nets.- Dynamic and Static Properties of Coloured Petri Nets.- Formal Analysis of Coloured Petri Nets.- Computer Tools for Coloured Petri Nets.- Industrial Applications of Coloured Petri Nets.- References.- Index.
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.