Bücher von Kurt Jensen

The volume presents the most important ideas and experiences from the projects, in a way which is useful also for readers who do not yet have personal experience with the construction and analysis of large CPN models. The presentation of the projects is based upon material provided by the per sons who have accomplished the individual projects.

This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN).

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.

They allow the modeller to investigate dynamic properties of CP-nets. The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools.