A probabilistic dynamic technique for the distributed generation of very large state spaces
Performance Evaluation - Special issue on modelling techniques and tools for performance evaluation
Turning back time in Markovian process algebra
Theoretical Computer Science
Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Separable equilibrium state probabilities via time reversal in Markovian process algebra
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
A general performance model interchange format
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
| Hi-index | 0.00 |
Performance model interchange formats (PMIFs) support the portability of models and sharing of solutions amongst different tools. XML-based interchange formats have been defined for the interchange of queueing network and Petri net models, amongst others, but there is still scope to extend their application to multiple formalisms, in particular beyond queueing networks. We extend an existing PMIF to hybrid models by including a new type of node, called a 'building block', defined as a certain class of Petri nets. The synchronisation primitives of these building blocks can be used to specify fork-join systems whilst, under certain conditions, retaining product-form solutions when embedded in queueing (or other) networks possessing this property already. When a product-form does not exist, the whole network is translated into a Petri net and solved either by simulation or direct solution of the underlying Markov chain by an existing analyser. Finally, we apply the extended PMIF to model a computer system with RAID storage.