Research Article
Efficient solution of extended Multiple-Phased Systems
@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
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.
Copyright © 2016–2024 EAI
