Title :
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
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;
Conference_Titel :
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN :
0-7695-1887-7
DOI :
10.1109/CSD.2003.1207716
