Stochastic Petri net semantics for stochastic process algebras
نویسنده
چکیده
In this paper we deene a Stochastic Petri Net (SPN) semantics for Stochastic Process Algebras (SPAs), a recently introduced formalism that ooers a novel approach for performance modeling. The proposed semantics is evaluated in terms of three criteria: Con-currency and Retrievability, as deened by Olderog for untimed net semantics, and Markov Equivalence for the stochastic aspects.
منابع مشابه
A New Synchronization in Finite Stochastic Petri Box Calculus
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 for which both an operational and a denotational (based on stochastic Petri nets) semantics were defined. Our goal in this ...
متن کاملStochastic Petri Box Calculus with Discrete Time
In the last decades, a number of stochastic enrichments of process algebras was constructed to allow one for specification of stochastic processes within the well-developed framework of algebraic calculi. In [40], a continuous time stochastic extension of finite Petri box calculus (PBC) was proposed called sPBC. The algebra sPBC has interleaving semantics due to the properties of continuous tim...
متن کاملIteration in discrete time stochastic Petri box calculus
In the last decades, a number of stochastic enrichments of process algebras was constructed to specify stochastic processes within the well-developed framework of algebraic calculi. In [26], a continuous time stochastic extension of finite Petri box calculus (PBC) was proposed and called sPBC. The algebra sPBC has interleaving semantics due to the properties of continuous time distributions. Th...
متن کاملModeling and Analyzing Concurrent
Process algebras are one of the main tools for modeling and analyzing concurrent systems. However, they can be used to describe only the functional aspect of system behavior. Recently, the relevance of integrating performance evaluation within the process of speciication, design and implementation of concurrent systems has been widely recognized. Hence, an eeort has been made in order to handle...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کامل