Coloured Petri Nets

Name: Coloured Petri Nets
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540609438
Price: 59855 HUF
Availability: InStock

Basic Concepts, Analysis Methods and Practical Use. Volume 1

Szerző: Kurt Jensen

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

59 855 Ft

§Das Buch gibt eine zusammenhängende Darstellung der theoretischen und praktischen Aspekte gefärbter...

Információk a könyvről

Szerző

Kurt Jensen

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

1996

oldal

236

EAN

9783540609438

ISBN

3540609431

Enbook ID

01566101

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

1170

Méretek

155 x 235 x 20

Teljes leírás

§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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 1

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták