SPBC: a Markovian extension of finite Petri box calculus

Author

Macià, Hermenegilda ; Valero, Valentín ; De Frutos-Escrig, David

Author_Institution

Dipt. Matematicas, Univ. Castilla-La Mancha, Albacete, Spain

fYear

2001

fDate

2001

Firstpage

207

Lastpage

216

Abstract

In this paper we present a stochastic extension of finite PBC, sPBC in which actions have a stochastic delay associated, which is taken from a negative exponential distribution. We define for the language both an operational and a denotational semantics, using a class of labelled stochastic Petri net as supporting values. In this paper we restrict our attention to finite sPBC, i.e. we consider neither the iteration operator nor recursive definition of processes

Keywords

Petri nets; concurrency theory; process algebra; programming language semantics; stochastic processes; Petri Box Calculus; concurrent systems; finite PBC; performance evaluation; process algebras; sPBC; stochastic Petri nets; stochastic process algebra; Algebra; Calculus; Carbon capture and storage; Delay effects; Exponential distribution; Parallel processing; Petri nets; Proposals; Stochastic processes; Stochastic systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Petri Nets and Performance Models, 2001. Proceedings. 9th International Workshop on

Conference_Location

Aachen

ISSN

1063-6714

Print_ISBN

0-7695-1248-8

Type

conf

DOI

10.1109/PNPM.2001.953370

Filename

953370

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=375571