Обложка книги Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Monographs in Theoretical Computer Science a Series of Eatcs)

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Monographs in Theoretical Computer Science a Series of Eatcs)

ISBN: 0387582762;
Издательство: Springer-Verlag

This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets. They allow the modeller to