Coloured Petri Nets

Name: Coloured Petri Nets
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642002830
Price: 82.22 EUR
Availability: InStock

Modelling and Validation of Concurrent Systems

Автор: Kurt Jensen, Lars M. Kristensen

Език:

Корици: С твърди корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 10-13 дни

82.22 € 160.81 лв

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distri...

Информация за книгата

Автор

Kurt Jensen, Lars M. Kristensen

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2009

страници

384

EAN

9783642002830

ISBN

3642002838

Enbook ID

01649336

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

1620

Размери

155 x 235 x 27

Пълно описание

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/

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

Информация за книгата

Пълно описание

Може също да ви хареса

HOUSES and HOMES

Extreme Birdwatching: Measuring Change on a Galápagos Island

In the American West 40th Anniversary Edition

Kyoto Gardens

Sister Carrie (Royal Collector's Edition) (Case Laminate Hardcover with Jacket)

Bloody Scotland

Keystone Approach

Lawaih: A Treatise on Sufism (1906)

Cosmic Rays

World Without Islam

Hereditary Hemochromatosis? and Vitamin D Deficiency from Uvb Radiation (Sunlight) Originating from Northern Europe

Egypt, Cyprus and Asiatic Turkey.

Vampire World

User's Approach For Topological Methods In 3d Dynamical Systems, The

Check Your English Vocabulary for Banking & Finance

Клиенти, които купиха тази книга, купиха също

Quellen zu den deutsch-französischen Beziehungen 1919-1963

Dual-Career Couples Unter Personalwirtschaftlich-Systemtheoretischem Blickwinkel

ASPECTES SANITARIS DELS ARXIUS PARROQUIALS DEL PRIORAT

Vom Ancien Regime Zum Wiener Kongress