Faites connaître cet article à vos amis:
Coloured Petri Nets: Modelling and Validation of Concurrent Systems 2009 edition
Kurt Jensen
Coloured Petri Nets: Modelling and Validation of Concurrent Systems 2009 edition
Kurt Jensen
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.
396 pages, 254 black & white illustrations, 27 black & white tables, biography
Médias | Livres Hardcover Book (Livre avec dos et couverture rigide) |
Validé | 2 juillet 2009 |
ISBN13 | 9783642002830 |
Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 384 |
Dimensions | 155 × 235 × 22 mm · 730 g |
Langue et grammaire | French |
Afficher tout
Plus par Kurt Jensen
Voir tous les Kurt Jensen ( par ex. Paperback Book , Hardcover Book et Loose-leaf )