Stochastic Discrete Event Systems: Modeling, Evaluation, Applications

Front Cover
Springer Science & Business Media, 2008 M01 12 - 392 pages

Stochastic discrete-event systems (SDES) capture the randomness in choices due to activity delays and the probabilities of decisions.

This book delivers a comprehensive overview on modeling with a quantitative evaluation of SDES. It presents an abstract model class for SDES as a pivotal unifying result and details important model classes. The book also includes nontrivial examples to explain real-world applications of SDES.


What people are saying - Write a review

We haven't found any reviews in the usual places.


Stochastic Timed Automata
G Ciardo M Forno P Grieco and A Miner Comparing implicit represen
Queuing Models 65
G Ciardo R German and C Lindemann A characterization of the stochas
J M Colom and M Silva Convex geometry and semiflows in PT nets
Simple Petri Nets
System Optimization
ModelBased Direct Control 245
Software Tool Support
A L Reibman and K S Trivedi Transient analysis of cumulative measures
Petri nets for the design and operation of manufacturing systems
Summary and Outlook
List of Algorithms 357

Colored Petri Nets
An Iterative Approximation Method
Efficient Simulation of SDES Models

Other editions - View all

Common terms and phrases

Popular passages

Page 5 - When we mean to build, We first survey the plot, then draw the model ; And when we see the figure of the house, Then must we rate the cost of the erection ; Which if we find outweighs ability, What do we then but draw anew the model In fewer offices, or at least desist To build at all...
Page 365 - Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems MASCOTS93, Simulation Series Vol.25,1, San Diego, 1993, p.
Page 365 - G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, JM Doyle, WH Sanders, and P. Webster. The Mobius modeling tool.
Page 366 - F. Dicesare, G. Harhalakis, JM Proth, M. Silva, and FB Vernadat. Practice of Petri Nets in Manufacturing. Chapman & Hall, 1993.
Page 361 - RY Al-Jaar and AA Desrochers, "Petri nets in automation and manufacturing," in Advances in Automation and Robotics, GN Saridis, Ed.
Page 367 - Communications of the ACM, Vol. 31, No. 4, April 1988, pp. 440-445. (Fr86) Frenkel, KA, "Evaluating Two Massively Parallel Machines," Communications of the ACM, Vol.
Page 361 - M. Ajmone Marsan, G. Balbo, G. Chiola, G. Conte, S. Donatelli, and G. Franceschinis. An introduction to generalized stochastic Petri nets.

About the author (2008)

Since fall 2006 Armin Zimmermann has held a deputy professorship for real-time systems and robotics at the faculty of electrical engineering and computer sciences of TU Berlin. He is the principal investigator of the research group Model-Based Evaluation of Discrete Real-Time Systems and coordinates the graduate college "Stochastic Modelling and Quantitative Analysis of Complex Systems in Engineering". Prior to that, he was research fellow from 1995 to 1999 and research assistant from 1999 to 2006 at TU Berlin. In 1997, he had received the Krone award, the Carl Ramsauer award, and the Chorafas Foundation award for his thesis on modelling and analysis of manufacturing systems with Petri nets.

His research interests include modelling, performance evaluation, optimization, and control of technical systems using discrete-event models as well as their tool support.

Bibliographic information