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

Article type: Research Article

Authors: Macià, Hermenegilda | Valero, Valentín | Cuartero, Fernando | Ruiz, M. Carmen

Affiliations: Escuela Superior de Ingeniería Informática Universidad de Castilla-La Mancha, 02071 Albacete, Spain. [email protected]; [email protected] [email protected]; [email protected]

Note: [] Address for correspondence: Escuela Politécnica Superior de Albacete. Universidad de Castilla-La Mancha, 02071 Albacete, Spain

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.

Keywords: Petri Box Calculus, Stochastic Process Algebra, Generalized Stochastic Petri Nets

Journal: Fundamenta Informaticae, vol. 87, no. 3-4, pp. 367-406, 2008