Efficient solution of extended Multiple-Phased Systems

Elvio Amparore; Susanna Donatelli

10th EAI International Conference on Performance Evaluation Methodologies and Tools

Research Article

Efficient solution of extended Multiple-Phased Systems

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/eai.25-10-2016.2267064,
    author={Elvio Amparore and Susanna Donatelli},
    title={Efficient solution of extended Multiple-Phased Systems},
    proceedings={10th EAI International Conference on Performance Evaluation Methodologies and Tools},
    publisher={ACM},
    proceedings_a={VALUETOOLS},
    year={2017},
    month={5},
    keywords={multiple-phased systems phased-mission systems markov regenerative process component method},
    doi={10.4108/eai.25-10-2016.2267064}
}

Elvio Amparore
Susanna Donatelli
Year: 2017
Efficient solution of extended Multiple-Phased Systems
VALUETOOLS
ACM
DOI: 10.4108/eai.25-10-2016.2267064

Elvio Amparore¹^,*, Susanna Donatelli¹

1: Università di Torino

*Contact email: amparore@di.unito.it

Abstract

Multiple-Phased Systems (MPS) are systems whose behaviour can be split in a set of successive periods, called phases. We concentrate on the Phase Petri nets (PPN) formalism for the representation of state-based MPS, whose state space is a Markov Regenerative Process (MRP). MPS have been traditionally evaluated using an ad-hoc method. In this paper we show how the recently developed Component Method for general MRP deals with MPS. The application of this method also allows for more general MPS system, namely where the phases can be interrupted or influenced by the behaviour of the modeled system The advantages of this approach is assessed on a Scheduled Maintenance Systems model using two tools, DEEM and GreatSPN.

Keywords: multiple-phased systems phased-mission systems markov regenerative process component method

Published: 2017-05-03
Publisher: ACM

: http://dx.doi.org/10.4108/eai.25-10-2016.2267064