Mohlo by se vám také líbit

Více informací o knize Coloured Petri Nets

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 480 bodů

Anotace knihy

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

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Graphical & digital media applications 3D graphics & modelling

• Plný název: Coloured Petri Nets
• Podnázev: Basic Concepts, Analysis Methods and Practical Use. Volume 1
• Autor: Kurt Jensen
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 236
• EAN: 9783540609438
• ISBN: 3540609431
• ID: 01566101
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 1170 g
• Rozměry: 235 × 155 × 20 mm
• Datum vydání: 25. March 1996

Oblíbené z jiného soudku

---

---

---