Transient Analysis Of Stochastic Petri Nets With Interval Decision Diagrams

The Solid State Energy Conversion Alliance Core Technology Program Peer Review

Martin Schwarick

Others  :  http://CEUR-WS.org/Vol-380/paper07.pdf
PID  :  24100

来源: CEUR

【 摘 要 】

This paper presents an Interval Decision Diagram (IDD) based approach to realize symbolically transient analysis of Continuous Time Markov Chains (CTMC) which are derived from stochastic Petri nets. Matrix-vector and vector-matrix multiplication are the major tasks when doing exact analysis of CTMCs.We sketch a simple algorithm which uses explicitly the Petri net structure and offers the opportunity of parallelization. We present results computed with our first prototype implementation.