.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Coloured Petri Nets
Kurt Jensen
€ 187.77
FREE Delivery in Ireland
Description for Coloured Petri Nets
Hardback. The book gives a detailed and systematic introduction to high-level Petri nets that includes explanation, motivation, examples, and applications. The author is one of the leading authorities on Petri nets and a member of the steering committee for the International Conference on Application and Theory of Petri Nets. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 248 pages, biography. BIC Classification: UGK; UKX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1170.
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
Hardback
Publication date
1996
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 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
9783540609438
SKU
V9783540609438
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Coloured Petri Nets