For the most recent entries see the Petri Nets Newsletter.

sPBC: A Markovian Extension of Finite Petri Box Calculus.

Macià, H.; Valero, V.; de Frutos-Escrig, D.

In: Proceedings of 9th International Workshop on Petri Nets and Performance Models, PNPM'01 Aachen, Sept. 11-14, 2001, Reinhard German and Boudewijn Haverkort (eds.), IEEE, pages 207-216. 201.

Abstract: In this paper we present a stochastic extension of finite PBC, sPBC, in which actions have a stochastic delay associated, which is taken from a negative exponential distribution. We define for the language both an operational and a denotational semantics, using a class of labelled stochastic Petri net as supporting values. In this paper we restrict our attention to finite sPBC, i.e., we consider neither the iteration operator nor recursive definition of processes.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography