MDWNsolver: A framework to design and solve markov decision petri nets

Marco Beccuti, Giuliana Franceschinis, Serge Haddad

Research output: Contribution to journalArticlepeer-review

Abstract

MDWNsolver is a framework for system modeling and optimization of performability measures based on Markov Decision Petri Net (MDPN) and Markov Decision Well-formed Net (MDWN) formalisms, two Petri Net extensions for high level specification of Markov Decision Processes (MDP). It is integrated in the GreatSPN suite which provides a GUI to design MDPN/MDWN models. From the analysis point of view, MDWNsolver uses efficient algorithms that take advantage of system symmetries, thus reducing the analysis complexity. In this paper the MDWNsolver framework features and architecture are presented, and some application examples are discussed.

Original languageEnglish
Pages (from-to)417-428
Number of pages12
JournalInternational Journal of Performability Engineering
Volume7
Issue number5
Publication statusPublished - Sept 2011

Keywords

  • Dependability optimization tool
  • Markov decision process
  • Markov decision well-formed nets

Fingerprint

Dive into the research topics of 'MDWNsolver: A framework to design and solve markov decision petri nets'. Together they form a unique fingerprint.

Cite this