A New Synchronization in Finite Stochastic Petri Box Calculus

Authors:
Hermenegilda Macià;Valentín Valero;Fernando Cuartero;Fernando L. Pelayo
Affiliations:
-;-;-;-
Venue:
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Year:
2003

Citing 0
Cited 3

Stochastic Petri Box Calculus with Discrete Time

Fundamenta Informaticae
A congruence relation for sPBC

Formal Methods in System Design
Stochastic Petri Box Calculus with Discrete Time

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

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) [12] we defined a Markovian extension of finite PBC, i.e., we had a Markovian process algebra forwhich both an operational and a denotational (based on stochastic Petri nets) semantics were defined. Our goal in this paper is to improve the semantics for the synchronization operator, in order to define a stochastic equivalence relation.