Code: 01566101

Coloured Petri Nets

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

by Kurt Jensen

Language: English
Binding: Hardback
Number of pages: 236
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996
More about this

174.90 €

Low in stock at our supplier
Shipping in 13 - 16 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Osvícení
11.66 € -27 %
Buy
Pracovní sešit k učebnici Fyzika 8
3.61 € -12 %
Buy
Peppa Pig and the Family Reunion
12.77 € -20 %
Buy
Unknown Treasure in Rajasthan
56.95 € -18 %
Pre-order
Leonardo da Vinci
17.10 € -14 %
Buy
Government of the Roman Empire
55.74 €
Buy
Das deutsche Civilprozeßrecht
30.18 € -4 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 440 loyalty points

Book synopsis

§Das Buch gibt eine zusammenhängende Darstellung der theoretischen und praktischen Aspekte gefärbter Petri-Netze (CPN) - einer Sprache für Entwurf, Spezifikation, Simulation, Validierung und Implementierung großer Softwaresysteme. Vorkenntnisse über Petri-Netze werden nicht vorausgesetzt. Das Werk besteht aus drei Bänden. Der einführende erste Band lehrt die Konstruktion von CPN-Modellen und ihre Analyse durch Simulation; viele Anwendungen werden detailliert beschrieben.This book presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). It shows how CP-nets have been developed, from being a promising theoretical model to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems. The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. The book is also intended to attract readers who are more interested in applications than in the underlying mathematics, and a large part of the book is written in a style which is closer to an engineering textbook or a user manual than a typical textbook in theoretical computer science. §The book consists of three separate volumes. The first volume defines the net model and the basic concepts. It gives a detailed presentation of many applications. It introduces the formal analysiss methods. Finally, it contains a description of a set of CP-net tools which support the practical use of CP-nets. Most of the material in this volume is application oriented. Its purpose is to teach the reader how to construct CP-net models and analyse them by means of simulation.