Recomienda este artículo a tus amigos:
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
Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
Publicado | 2 de noviembre de 2014 |
ISBN13 | 9783642425813 |
Editores | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 384 |
Dimensiones | 155 × 235 × 21 mm · 553 g |
Lengua | English |
Mostrar todo
Mas por Kurt Jensen
Ver todo de Kurt Jensen ( Ej. Paperback Book , Hardcover Book y Loose-leaf )