Prof.Dr.-Ing. Armin Zimmermann
3 March 2013
Title: Reliability Evaluation of Dynamic Systems With Stochastic Petri Nets
The talk covers motivation, use, and advantages of stochastic Petri nets as a tool for reliability evaluation of complex systems.
Rare-event simulation techniques with specific advantages for Petri nets are demonstrated, which are applicable to a wide class of reliability problems. While this approach is well-known in the academic world, is has not yet been adopted much in industrial applications; however, the recent standard IEC62551 proposes dependability evaluation with Petri nets.
Example case studies and tool support are demonstrated (if time allows).