Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes

L. Cloth; H.C. Bohnenkamp; Boudewijn R.H.M. Haverkort; L. de Alfaro; S. Gilmore

doi:10.1007/3-540-44804-7_10

Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes

L. Cloth, H.C. Bohnenkamp, Boudewijn R.H.M. Haverkort, L. de Alfaro (Editor), S. Gilmore (Editor)

Research output: Contribution to conference › Paper › Other research output

Abstract

In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an elegant notation for stochastic prefixes not containing any decisions. Furthermore, they allow for the computation of performance measures. The derivation of the so called k-th occurrence times is shown in detail.

Original language	English
Pages	152-167
Number of pages	16
DOIs	https://doi.org/10.1007/3-540-44804-7_10
Publication status	Published - 2001
Externally published	Yes

Keywords

IR-63634
EWI-7907

Access to Document

10.1007/3-540-44804-7_10

Cite this

@conference{81098ad6b65d4931be6e89a4849c01dc,

title = "Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes",

abstract = "In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an elegant notation for stochastic prefixes not containing any decisions. Furthermore, they allow for the computation of performance measures. The derivation of the so called k-th occurrence times is shown in detail.",

keywords = "IR-63634, EWI-7907",

author = "L. Cloth and H.C. Bohnenkamp and Haverkort, {Boudewijn R.H.M.} and {de Alfaro}, L. and S. Gilmore",

note = "Imported from research group DACS (ID number 469)",

year = "2001",

doi = "10.1007/3-540-44804-7_10",

language = "English",

pages = "152--167",

}

TY - CONF

T1 - Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes

AU - Cloth, L.

AU - Bohnenkamp, H.C.

AU - Haverkort, Boudewijn R.H.M.

A2 - de Alfaro, L.

A2 - Gilmore, S.

N1 - Imported from research group DACS (ID number 469)

PY - 2001

Y1 - 2001

N2 - In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an elegant notation for stochastic prefixes not containing any decisions. Furthermore, they allow for the computation of performance measures. The derivation of the so called k-th occurrence times is shown in detail.

AB - In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an elegant notation for stochastic prefixes not containing any decisions. Furthermore, they allow for the computation of performance measures. The derivation of the so called k-th occurrence times is shown in detail.

KW - IR-63634

KW - EWI-7907

U2 - 10.1007/3-540-44804-7_10

DO - 10.1007/3-540-44804-7_10

M3 - Paper

SP - 152

EP - 167

ER -

Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes

Abstract

Keywords

Access to Document

Fingerprint

Cite this