A Function-Equivalent Components Based Simplification Technique for PEPA Models | Zendy

Jane Hillston | Zendy; Leı̈la Kloul | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Function-Equivalent Components Based Simplification Technique for PEPA Models

Author(s) -

Jane Hillston,

Leı̈la Kloul

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-35362-3

DOI - 10.1007/11777830_2

Subject(s) - computer science , bisimulation , function (biology) , theoretical computer science , heuristic , component (thermodynamics) , algorithm , artificial intelligence , evolutionary biology , biology , physics , thermodynamics

PEPA has recently been extended with functional rates [1][2]. These functions allow the specification of indirect interaction between components in such a way that the rate of an activity may be made dependent on the local state currently exhibited by one or more components. In this paper we demonstrate that these rates allow a systematic simplification of models in which there is appropriate indirect interaction between components. We investigate the interplay between this style of simplification and aggregation based on bisimulation, and establish a heuristic for applying both techniques in a complementary fashion

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research