Coloured Petri Nets: Modelling and Validation of Concurrent Systems

by KurtJensen (Author), LarsM.Kristensen (Author)

New
Hardcover
2009
$108.52

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.

Synopsis

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.

$108.52

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 384
Publisher: Springer
Published: 02 Jul 2009
ISBN 10: 3642002838
ISBN 13: 9783642002830

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

New

$108.52

Synopsis

$108.52

More Information