Kurt Jensen

(Author)

Coloured Petri Nets: Modelling and Validation of Concurrent Systems (2009)Hardcover - 2009, 2 July 2009

Coloured Petri Nets: Modelling and Validation of Concurrent Systems (2009)
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Print Length
384 pages
Language
English
Publisher
Springer
Date Published
2 Jul 2009
ISBN-10
3642002838
ISBN-13
9783642002830

Description

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. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequences.

In this textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and present the related analysis methods in detail. They also provide a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies that illustrate the practical use of CPN modelling and validation for design, specification, simulation, verification and implementation in various application domains.

Their presentation primarily aims at readers interested in the practical use of CPN. Thus all concepts and constructs are first informally introduced through examples and then followed by formal definitions (which may be skipped). The book is ideally suitable for a one-semester course at an advanced undergraduate or graduate level, and through its strong application examples can also serve for self-study. An accompanying website offers additional material such as slides, exercises and project proposals.

Book website: http: //www.cs.au.dk/CPnets/cpnbook/

Product Details

Authors:
Kurt JensenLars M Kristensen
Book Edition:
2009
Book Format:
Hardcover
Country of Origin:
NL
Date Published:
2 July 2009
Dimensions:
23.39 x 15.6 x 2.24 cm
ISBN-10:
3642002838
ISBN-13:
9783642002830
Language:
English
Location:
Berlin, Heidelberg
Pages:
384
Publisher:
Weight:
730.28 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.