A congruence relation for sPBC

Authors:
Hermenegilda Macià;Valentín Valero;Fernando Cuartero;David De-Frutos
Affiliations:
Escuela Politécnica Superior, Universidad de Castilla-La Mancha, Albacete, Spain 02071;Escuela Politécnica Superior, Universidad de Castilla-La Mancha, Albacete, Spain 02071;Escuela Politécnica Superior, Universidad de Castilla-La Mancha, Albacete, Spain 02071;Facultad de Ciencias Matemáticas, Universidad Complutense de Madrid, Madrid, Spain 28040
Venue:
Formal Methods in System Design
Year:
2008

Citing 14
Cited 2

Bisimulation through probabilistic testing

Information and Computation
A compositional approach to performance modelling

A compositional approach to performance modelling
A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time

Theoretical Computer Science
Petri net algebra

Petri net algebra
Process algebra for performance evaluation

Theoretical Computer Science
Communication and Concurrency

Communication and Concurrency
Operational Semantics for the Petri Box Calculus

CONCUR '94 Proceedings of the Concurrency Theory
Petri Nets, Process Algebras and Concurrent Programming Languages

Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
A Refined View of the Box Algebra

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
The box calculus: a new causal algebra with multi-label communication

Advances in Petri Nets 1992, The DEMON Project
A New Synchronization in Finite Stochastic Petri Box Calculus

ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Stochastic Petri net semantics for stochastic process algebras

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
sPBC: A Markovian Extension of Finite Petri Box Calculus

PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
A compositional model of time Petri nets

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets

sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions

Fundamenta Informaticae
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we define a congruence relation for regular terms of sPBC (stochastic Petri Box Calculus), by means of which we identify those processes that have the same behaviour, not only in terms of the multiactions that they can perform, but also taking into account the stochastic information that they have associated. In order to define this equivalence relation we have to define an adequate semantics for the synchronization operator, as well as a new labelled transition system for regular terms of sPBC.