Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Coloured Petri Nets

Name: Coloured Petri Nets
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01653240
Price: 107.29 EUR
Availability: InStock
Author: Kurt Jensen
ISBN: 9783642082009

Basic Concepts, Analysis Methods and Practical Use. Volume 2

Kurt Jensen

Language

English

Book Paperback

Libristo code: 01653240

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2010

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

Libristo code: 01653240

263 b

107.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

MI CUMPLEAÑOS GLORIA FORT MIR

Paperback

11.59 €

Emo Sapiens. Ohme Rafał

Paperback

8.69 €

Recomendación de noticias utilizando la frecuencia de términos y la similitud de documentos Vaibhav Jain

Paperback

33.59 €

TEOREMA PASSOLINI

Book

23.39 €

Mensonges d'Etat

Paperback

33.59 €

Le dernier voyage de Max DR. JULIE POWELL HALL

Hardback

20.99 €

En el umbral de la logia OTAOLA

Book

8.59 €

Возрождение Римской империи. Великие властители и реформаторы Церкви Питер Хизер

Paperback

30.89 €

Oeuf Malachite - 6 à 7 cm

binding.

33.59 €

Bidrag Til Bestemmelse AF Praecessionskonstanten John Louis Emil Dreyer

Paperback

17.09 €

Sekten, Okkultismus, Esoterik Andreas Hausotter

Paperback

27.99 €

HÈROE MEG MEEKER

Paperback

22.29 €

Vnezapnaya serdechnaya smert' S. B. Bolevich

Paperback

51.19 €

Zahlen!? Michael Guschwa

Paperback

51.99 €

Salzgraf Von Halle Bruno Garlepp

Paperback

29.90 €

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.