[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Jensen, Kurt; Kristensen, Lars M. 
Coloured Petri Nets - Modelling and Validation of Concurrent Systems
2009, XI, 384 p. 254 illus., Hardcover
ISBN: 978-3-642-00283-0


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 non-determinism 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.


Keywords: 
Concurrent Systems, Distributed Systems, Formal Methods, Performance
Analysis, Petri 
Nets, Systems Modeling 


Read more detailed information 
(including detailed table of contents and sample chapter): 
www.springer.com/978-3-642-00283-0 


ORDER INFORMATION:

Springer:  
www.springer.com/978-3-642-00283-0 
Amazon:
http://www.amazon.com/Coloured-Petri-Nets-Validation-Concurrent/dp/36420
02838/ 

---
Ralf Gerstner
Springer
Senior Editor | Computer Science Editorial
---
Tiergartenstrasse 17 | 69121 Heidelberg | Germany
tel     +49 (0)6221 / 487 8144  
fax     +49 (0)6221 / 487 6 8144
ralf.gerst...@springer.com
www.springer.com
---


Reply via email to