Title | On ODEs from PEPA Models |
Authors | Jie Ding, Jane Hillstion |
Journal/Conference name | PASTA 2007 |
Date of Publication | 26 July 2007 |
Work Area | Ubiquitous Services |
Abstract | This paper is about theoretical aspects of the ODEs derived from PEPA models. We show the existence, uniqueness and boundedness of solutions of the ODEs. We also present the convergence of the solutions for non-synchronised cases as well as their relationship to the steady state distributions of some Markov chains. Based on the theoretical results, an alternative semantics of mapping PEPA models to ODEs is provided. |