Title :
Stochastic Petri net semantics for stochastic process algebras
Author_Institution :
Dipartimento di Inf., Torino Univ., Italy
Abstract :
We define a stochastic Petri net (SPN) semantics for stochastic process algebras (SPAs), a recently introduced formalism that offers a novel approach for performance modeling. The proposed semantics is evaluated in terms of three criteria: concurrency and retrievability, as defined by Olderog (1987, 1991) for untimed net semantics, and Markov equivalence for the stochastic aspects
Keywords :
Markov processes; Petri nets; computational linguistics; process algebra; Markov equivalence; concurrency; performance modeling; retrievability; stochastic Petri net semantics; stochastic process algebras; untimed net semantics; Algebra; Calculus; Carbon capture and storage; Concurrent computing; Delay; Information analysis; Markov processes; Petri nets; Stochastic processes; Timing;
Conference_Titel :
Petri Nets and Performance Models, 1995., Proceedings of the Sixth International Workshop on
Conference_Location :
Durham, NC
Print_ISBN :
0-8186-7210-2
DOI :
10.1109/PNPM.1995.524325
