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

Authors:
Hermenegilda Macià/;Valentí/n Valero;Fernando Cuartero;M. Carmen Ruiz
Affiliations:
(Correspd.) Escuela Superior de Ingenierí/a Informá/tica Universidad de Castilla-La Mancha, 02071 Albacete, Spain. Hermenegilda.Macia@uclm.es/ Valentin.Valero@uclm.es Fernando.Cuartero@ucl ...;Escuela Superior de Ingenierí/a Informá/tica Universidad de Castilla-La Mancha, 02071 Albacete, Spain. Hermenegilda.Macia@uclm.es/ Valentin.Valero@uclm.es Fernando.Cuartero@uclm.es/ MCarme ...;Escuela Superior de Ingenierí/a Informá/tica Universidad de Castilla-La Mancha, 02071 Albacete, Spain. Hermenegilda.Macia@uclm.es/ Valentin.Valero@uclm.es Fernando.Cuartero@uclm.es/ MCarme ...;Escuela Superior de Ingenierí/a Informá/tica Universidad de Castilla-La Mancha, 02071 Albacete, Spain. Hermenegilda.Macia@uclm.es/ Valentin.Valero@uclm.es Fernando.Cuartero@uclm.es/ MCarme ...
Venue:
Fundamenta Informaticae
Year:
2008

Citing 15
Cited 0

GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets

Performance Evaluation - Special issue: performance modeling tools
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
Communication and Concurrency

Communication and Concurrency
A Refined View of the Box Algebra

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Extending the Petri Box Calculus with Time

ICATPN '01 Proceedings of the 22nd 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
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 congruence relation for sPBC

Formal Methods in System Design
Modeling communications protocols by automata

SFCS '79 Proceedings of the 20th Annual Symposium on Foundations of Computer Science
A compositional model of time Petri nets

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Stochastic Petri Nets: Modelling, Stability, Simulation

Stochastic Petri Nets: Modelling, Stability, Simulation
Stochastic Petri Box Calculus with Discrete Time

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

Petri Box Calculus (PBC) is an algebraicmodel for the description of concurrent systems and sPBC (stochastic Petri Box Calculus) is a Markovian extension of that model. In this paper we add immediate multiactions to sPBC in order to increase the description power of this language. Thus, we both have timed multiactions that follow an exponential distribution, and multiactions that do not require any time and can be immediately executed. The denotational semantics of this model is based on a special class of GSPN (Generalized Stochastic Petri Nets), called gs-boxes.