Faites connaître cet article à vos amis:
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Kurt Jensen
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Kurt Jensen
This textbook introduces the constructs of Coloured Petri Nets (CPN) modelling language and presents the related analysis methods in detail. It also provides a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies.
384 pages, 27 black & white tables, biography
Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
Validé | 2 novembre 2014 |
ISBN13 | 9783642425813 |
Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 384 |
Dimensions | 155 × 235 × 21 mm · 553 g |
Langue et grammaire | English |
Afficher tout
Plus par Kurt Jensen
Voir tous les Kurt Jensen ( par ex. Paperback Book , Hardcover Book et Loose-leaf )