A new synchronization in finite stochastic Petri box calculus

Author

Macià, Hermenegilda ; Valero, Valentín ; Cuartero, Fernando ; Pelayo, Fernando L.

Author_Institution

Escuela Politecnica Superior de Albacete, Univ. de Castilla-La Mancha, Albacete, Spain

fYear

2003

Firstpage

216

Lastpage

225

Abstract

The Petri Box Calculus (PBC) combines two well known paradigms of the design of concurrent systems: process algebras and Petri nets. In our first proposal of sPBC (stochastic PBC) [H. Macia et al., (2001)] we defined a Markovian extension of finite PBC, i.e., we had a Markovian process algebra for which both an operational and a denotational (based on stochastic Petri nets) semantics were defined. Our goal is to improve the semantics for the synchronization operator, in order to define a stochastic equivalence relation.

Keywords

Markov processes; Petri nets; concurrency theory; process algebra; programming language semantics; synchronisation; Morkovian process algebra; Petri Box Calculus; concurrent system design; denotational semantics; finite stochastic PBC; operational semantics; stochastic Petri nets; stochastic equivalence relation; stochastic process algebra; synchronisation operator semantics; Algebra; Calculus; Carbon capture and storage; Concurrent computing; Delay effects; Exponential distribution; Petri nets; Proposals; Stochastic processes; Time measurement;

fLanguage

English

Publisher

ieee

Conference_Titel

Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on

Print_ISBN

0-7695-1887-7

Type

conf

DOI

10.1109/CSD.2003.1207716

Filename

1207716