Stochastic Discrete Event Systems: Modeling, Evaluation, ApplicationsSpringer 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. |
Contents
| 1 | |
| 8 | |
Stochastic Timed Automata | 45 |
G Ciardo M Forno P Grieco and A Miner Comparing implicit represen | 60 |
Queuing Models 65 | 64 |
G Ciardo R German and C Lindemann A characterization of the stochas | 67 |
J M Colom and M Silva Convex geometry and semiflows in PT nets | 73 |
Simple Petri Nets | 79 |
System Optimization | 223 |
ModelBased Direct Control 245 | 244 |
Software Tool Support | 253 |
13 | 269 |
A L Reibman and K S Trivedi Transient analysis of cumulative measures | 278 |
Petri nets for the design and operation of manufacturing systems | 292 |
Summary and Outlook | 341 |
List of Algorithms 357 | 356 |
Colored Petri Nets | 99 |
7 | 127 |
An Iterative Approximation Method | 157 |
Efficient Simulation of SDES Models | 169 |
Other editions - View all
Stochastic Discrete Event Systems: Modeling, Evaluation, Applications Armin Zimmermann No preview available - 2010 |
Stochastic Discrete Event Systems: Modeling, Evaluation, Applications Armin Zimmermann No preview available - 2009 |
Stochastic Discrete Event Systems: Modeling, Evaluation, Applications Armin Zimmermann No preview available - 2007 |
Common terms and phrases
action variant activity actual additional algorithm allowed analysis application approximation associated assume atomic unit attributes behavior bounds called colored Petri communication complete computed connected considered contains corresponding defined definition delay denoted depending derived described discrete distributed elements enabled entry equal evaluation event example executed expression Figure final firing function given graph immediate important individual initial input lead logical machine marking mean method mode model classes multiset necessary noted operation optimization output parameter path performance measures Petri nets possible presented priority probability problem production queue queuing reachability relation restriction reward variable rollback scheduled SDES model Sect selection server shown shows signals simple simulation specified standard step stochastic stochastic Petri structure Table techniques throughput tion tokens tool train transition transport variables vector vehicle waiting weights
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.