دانلود کتاب Stochastic Petri Nets: An Introduction to the Theory

BuchhandelstextAny engineer who is responsible for the design and development of discrete systems, such as embedded software for control or telecommunication systems, knows that the most important quality of the final product is that it be functionally correct. Once assured that the system behaves correctly, it is also important that it be efficient in that its running cost is minimal or is optimum in whatever quanititive measure is chosen. Stochastic Petri nets have been developes over the last decade with exactly these objectives in mind.This book is an introduction to Stochastic Petri nets and arose out of a desire by the authors to collect all one needs to understand Stochastic Petri net theory in one volume. The intention of this book is not to give an overview of several or all Stochastic Petri net models appearing in the literature, but to stress a combined view of functional and performance analysis in the context of some Stochastic Petri net models.The book contains a reference to several Stochastic Petri net tools which are available to help the reader apply the theory contained in this volume.USP: F?r sicher funktionierende DV-SystemeInhaltStochastic Theory - Markov Processes - Queueing Systems - Petri Nets - Coloured Petri Nets - Stochastic Petri Nets - Generalized Stochastic Petri Nets - Queueing Petri NetsZielgruppeSoftware Developers, Computer Scientists, System Engineers, Researchers, Students?ber den Autor/HrsgDr. 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.