Erschienen: 20.05.1997 Abbildung von Jensen | Coloured Petri Nets | 2nd ed. 1996. 2nd corr. printing | 1997

Jensen

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 1

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

149,79 €

inkl. Mwst.

2nd ed. 1996. 2nd corr. printing 1997. Buch. xii, 236 S. Bibliographien. Hardcover

Springer. ISBN 978-3-540-60943-8

Format (B x L): 15,5 x 23,5 cm

Gewicht: 1170 g

In englischer Sprache

Produktbeschreibung

This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de­ veloped - from being a promising theoretical model to being a full-fledged lan­ guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com­ puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such a way that it also becomes attractive to readers who are more interested in applications than the underlying mathematics. This means that a large part of the book is written in a style which is closer to an engineering textbook (or a users' manual) than it is to a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model (i. e., hierarchical CP-nets) and the basic concepts (e. g., the different behavioural properties such as deadlocks, fair­ ness and home markings). It gives a detailed presentation of many small exam­ ples and a brief overview of some industrial applications. It introduces the for­ mal analysis methods. Finally, it contains a description of a set of CPN tools which support the practical use of CP-nets.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...