Stock image for illustration purposes only - book cover, edition or condition may vary.
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1
Kurt Jensen
€ 173.38
FREE Delivery in Ireland
Description for Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1
paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 248 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 233 x 158 x 14. Weight in Grams: 372.
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such ... Read more
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer/Sci-Tech/Trade Germany
Number of pages
248
Condition
New
Series
Monographs in Theoretical Computer Science : An Eatcs Series
Number of Pages
236
Place of Publication
Berlin, Germany
ISBN
9783642082436
SKU
V9783642082436
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1