Coloured Petri Nets, in 3 Vols., Vol.2
From Book News, Inc. Shows how colored Petri nets (CPnets) have developed from being a promising theoretical model to being a fullfledged language for the design, specification, simulation, validation and implementation of large software systems. In this first volume of a three volume set, the net model is defined and basic concepts discussed. Many examples are presented in detail, a brief overview of industrial applications is offered, and a description of a set of CPnet tools is given. Most of the material is application oriented. Annotation copyright Book News, Inc. Portland, Or. Kurzbeschreibung This threevolume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CPnets). The second volume contains a detailed presentation of the analysis methods for CPnets. They allow the modeller to investigate dynamic properties of CPnets. 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. Some parts of the volume are theoretical while...
