Coloured Petri Nets

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

Basic Concepts, Analysis Methods and Practical Use. Volume 2

Автор: Kurt Jensen

Език:

Корици: С меки корици

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

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

Изпращаме след 5-8 дни

105.41 € 206.16 лв

This three-volume work presents a coherent description of the theoretical and practical aspects of c...

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

Автор

Kurt Jensen

Език

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

Корици

Книга - С меки корици

Издадена

2010

страници

177

EAN

9783642082009

ISBN

3642082009

Enbook ID

01653240

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

288

Размери

157 x 233 x 11

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

This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets. They allow the modeller to investigate dynamic properties of CP-nets.The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools. Some parts of the volume are theoretical while others are application oriented. The purpose of the volume is to teach the reader how to use the formal analysis methods, which does not require a deep understanding of the underlying mathematical theory.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 2

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

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

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

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