Marking dependency in non-Markovian stochastic Petri nets
Title | Marking dependency in non-Markovian stochastic Petri nets |
Publication Type | Journal Article |
Year of Publication | 2017 |
Authors | Distefano, S., F. Longo, and M. Scarpa |
Journal | Performance Evaluation |
Volume | 110 |
Pagination | 22-47 |
ISSN | 01665316 |
Keywords | Algebra, energy management, Kronecker algebra, Marking dependency, Multi-core cpus, non-Markovian stochastic Petri nets, Petri nets, phase type distributions, Power management, Program processors, Random access storage, Semantics, Stochastic systems |
Abstract | Marking dependency is a powerful tool that allows different firing time distributions to be associated with a stochastic Petri net transition, depending on the marking. Through this feature, the modeler can easily and compactly represent advanced properties and behaviors of the system. While a semantics and specific solution techniques have been provided for generalized stochastic Petri nets thus covering homogeneous Markovian aspects, in the non-homogeneous/non-Markovian case marking dependency still needs to be investigated. To fill this gap, this paper provides a formalization of marking dependent semantics in non-Markovian stochastic Petri nets (NMSPNs) and a solution technique, based on phase type distributions and Kronecker algebra, able to deal with such a feature allowing both transient and steady-state analyses. To motivate the actual need of marking dependency in NMSPN modeling and to demonstrate the potential of such a feature as well as the validity of the proposed solution technique a case study on a multi-core CPU system with power management facilities is explored. © 2017 Elsevier B.V. |
URL | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85016027299&doi=10.1016%2fj.peva.2017.03.001&partnerID=40&md5=a00a4d3147bd499b5f8879d3573b4670 |
DOI | 10.1016/j.peva.2017.03.001 |