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 conferencePaperOther 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 languageEnglish
Pages152-167
Number of pages16
DOIs
Publication statusPublished - 2001
Externally publishedYes

Keywords

  • IR-63634
  • EWI-7907

Fingerprint Dive into the research topics of 'Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes'. Together they form a unique fingerprint.

  • Cite this