Stochastic Petri nets are a modeling paradigm for the functional and performance analysis of systems. This book provides all the information necessary for understanding stochastic Petri nets, including a short refresher on probability theory, Markov processes, and single queues. The authors explain generalized stochastic Petri nets in detail and also show how to incorporate queueing aspects into the theory. The book analyzes stochastic Petri nets stressing a combined functional and quantitative examination of systems.

It is suitable for advanced undergraduates, graduate students, researchers, software developers, and system engineers interested in mathematics, computer science, and the functional and performance evaluation of systems.

A publication of Vieweg Verlag. The AMS is exclusive distributor in North America. Vieweg Verlag Publications are available worldwide from the AMS outside of Germany, Switzerland, Austria, and Japan.

Readership

Advanced undergraduates, graduate students, researchers, software developers, and systems engineers interested in mathematics, computer science, and the functional and performance evaluation of systems.

Table of Contents

• Random variables
• Markov processes
• General queueing systems
• Further reading

• Place-transition nets
• Coloured Petri nets
• Further reading

• Stochastic Petri nets
• Generalized stochastic Petri nets
• Queueing Petri nets
• Further reading
• Application examples
• Solutions to selected exercises
• Bibliography
• Index