Stochastic Petri Nets: An Introduction to the Theory - Couverture souple

Bause, Falko; Kritzinger, Pieter

Couverture souple

ISBN 10 : 3528055359 ISBN 13 : 9783528055356

Editeur : Friedrich Vieweg & Sohn Verlagsgesellschaft mbH, 1996

Synopsis

Any developer of discrete event systems knows that the most impor tant quality of the final system is that it be functionally correct by exhibiting certain functional, or qualitative properties decided upon as being important. Once assured that the system behaves correctly, it is also important that it is efficient in that its running cost is min imal or that it executes in optimum time or whatever performance measure is chosen. While functional correctness is taken for granted, the latter quantitative properties will often decide the success, or oth erwise, of the system. Ideally the developer must be able to specify, design and implement his system and test it for both functional correctness and performance using only one formalism. No such formalism exists as yet. In recent years the graphical version of the Specification and Description Lan guage (SDL) has become very popular for the specification, design and partial implementation of discrete systems. The ability to test for functional correctness of systems specified in SDL is, however, lim ited to time consuming simulative executions of the specification and performance analysis is not possible. Petri nets, although graphical in format are somewhat tedious for specifying large complex systems but, on the other hand were developed exactly to test discrete, dis tributed systems for functional correctness. With a Petri net specifi cation one can test, e. g., for deadlock, liveness and boundedness of the specified system."

A propos du livre

À propos de l'auteur

Dr. rer. nat. Falko Bause has taught and done research work in the area of system engineering and has published several papers on Stochastic Petri Nets.Pieter Kritzinger is a full professor at the Department of Computer Science at the University of Cape Town.

Détails de l'édition

• Éditeur: Friedrich Vieweg & Sohn Verlagsgesellschaft mbH
• Date d'édition: 1996
• Langue: allemand
• ISBN 10: 3528055359
• ISBN 13: 9783528055356
• Reliure: Broché
• Nombre de pages: 250
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible