Product form solution for a class of PEPA models

DOI10.1016/S0166-5316(99)00005-XMaRDI QIDQ4779393zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Jane Hillston, Nigel Thomas

Publication date 24 June 2003

Published in Performance Evaluation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0166-5316(99)00005-x

zbMATH Keywords

Markovian process algebraPEPA models

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 956806
• Semi-product-form solution for PEPA models with functional rates
• A Compositional Approach to Performance Modelling
• scientific article; zbMATH DE number 1786478
• Synthesis and analysis of product-form Petri nets

Cited in

(18)

• Structural analysis for stochastic process algebra models
• Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations
• AutoCAT: automated product-form solution of stochastic models
• scientific article; zbMATH DE number 2100582 (Why is no real title available?)
• A fluid analysis framework for a Markovian process algebra
• scientific article; zbMATH DE number 1786478 (Why is no real title available?)
• A Function-Equivalent Components Based Simplification Technique for PEPA Models
• Formal techniques for performance analysis: blending SAN and PEPA
• A Precedence PEPA Model for Performance and Reliability Analysis
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
• Product form solution for an insensitive stochastic process algebra structure
• Semi-product-form solution for PEPA models with functional rates
• scientific article; zbMATH DE number 2087800 (Why is no real title available?)
• scientific article; zbMATH DE number 1884416 (Why is no real title available?)
• Compositional model checking of product-form CTMCs
• Tackling continuous state-space explosion in a Markovian process algebra
• Process algebra for performance evaluation
• Turning back time in Markovian process algebra.

Describes a project that uses

Uses Software

• PEPA

This page was built for publication: Product form solution for a class of PEPA models

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