A Function-Equivalent Components Based Simplification Technique for PEPA Models

DOI10.1007/11777830_2MaRDI QIDQ3613665zbMATH OpenOpenAlexFDO

Authors Jane Hillston, Leïla Kloul

Publication date 12 March 2009

Published in Formal Methods and Stochastic Models for Performance Evaluation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11777830_2

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Precedence PEPA Model for Performance and Reliability Analysis
• A Compositional Approach to Performance Modelling
• Semi-product-form solution for PEPA models with functional rates
• Product form solution for a class of PEPA models
• Formal techniques for performance analysis: blending SAN and PEPA

Cited in

(4)

• A Precedence PEPA Model for Performance and Reliability Analysis
• Semi-product-form solution for PEPA models with functional rates
• scientific article; zbMATH DE number 2100582 (Why is no real title available?)
• Formal techniques for performance analysis: blending SAN and PEPA

Describes a project that uses

Uses Software

• PEPA

This page was built for publication: A Function-Equivalent Components Based Simplification Technique for PEPA Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613665)