Sep 11, 2012: Joost-Pieter Katoen: GSPNs Revisited: Simple Semantics and New Analysis Algorithms

September 11, 2012GSPNs Revisited: Simple Semantics and New Analysis Algorithms
Room: Zi 5126Joost-Pieter Katoen

This talk shows how Markov Automata (MA) can be used to provide a truly simple semantics of Generalized Stochastic Petri Nets (GSPNs), a popular model in performance and dependability analysis that exists for more than 25 years.  In fact, our approach works for all GSPNs.  No restrictions are imposed on the concurrent/conflicting enabledness of immediate transitions.  This contrasts with existing solutions for GSPNs.

We complement the semantics by novel analysis algorithms for expected time and long-run average time objectives of MA, i.e., GSPNs. Two case studies indicate the feasibility of these algorithms and show that a classical reliability analysis for confused GSPNs may lead to significant over-estimations of the true probabilities.

The key message is: nondeterminism is not a threat, treat it as is! This yields both a simple GSPN semantics and trustworthy analysis results.