Results 171 to 180 of about 826,508 (206)

A characterization of the stochastic process underlying a stochastic Petri net

Proceedings of 5th International Workshop on Petri Nets and Performance Models, 1994
Stochastic Petri nets (SPN's) with generally distributed firing times can model a large class of systems, but simulation is the only feasible approach for their solution. We explore a hierarchy of SPN classes where modeling power is reduced in exchange for an increasingly efficient solution. Generalized stochastic Petri nets (GSPN's), deterministic and
Gianfranco Ciardo, Reinhard German, Christoph Lindemann   +2 more
openaire   +3 more sources

Applications of non-Markovian stochastic Petri nets

ACM SIGMETRICS Performance Evaluation Review, 1998
Petri nets represent a powerful paradigm for modeling parallel and distributed systems. Parallelism and resource contention can easily be captured and time can be included for the analysis of system dynamic behavior. Most popular stochastic Petri nets assume that all firing times are exponentially distributed. This is found to be a severe limitation in
Fricks R. M., PULIAFITO, Antonio, Telek M., Trivedi K. S.   +3 more
openaire   +3 more sources

Saturation conditions for Stochastic Petri Nets

1993
We give a necessary condition and a sufficient one for the saturation of a Markovian Stochastic Petri Net. These conditions can be explicitly checked in practical situations. As a particular case, we show that our conditions are equivalent to the classical condition of saturation for Jackson Queuing Networks.
R. Gouet, F. Plo, M. San Miguel, Bernard Ycart   +3 more
openaire   +2 more sources

Tagged Generalized Stochastic Petri Nets

2009
This paper introduces an extension of the Generalized Stochastic Petri Net (GSPN) formalism in order to enable the computation of first passage time distributions of tokens. A "tagged token" technique is used which relies on net's structural properties to guide the correct specification of this extension.
BALBO, Gianfranco, DE PIERRO, Massimiliano, FRANCESCHINIS, Giuliana   +2 more
openaire   +4 more sources

Stochastic Petri Nets

1990
Petri Nets provide a means for modeling and graphically representing the possible behavior of systems in which concurrency, serializability, synchronization and resource sharing are important considerations [PETE], [FILM]. They can be used for the understanding and prediction of the behavior of computer systems, communication protocols, biological ...
openaire   +1 more source

A notion of equivalence for stochastic Petri nets

1995
Equivalence is a central concept for the qualitative analysis of dynamic systems. Several different notions of equivalence preserving qualitative properties of a system appeared in the literature on Petri nets (PNs). If apart from qualitative also quantitative aspects of a systems should be analysed, then there exists the class of stochastic Petri nets
openaire   +2 more sources

Stochastic Petri Nets with Changeable Layout

2017
Petri nets (PNs) are a central formalism for distributed systems. PNs, though, turn out to be inadequate to model changes in real systems’ layout. To cope with such a major issue, a framework based on Reisig’s algebraic nets has been recently proposed.
openaire   +2 more sources

Stochastic Petri net semantics for stochastic process algebras

Proceedings 6th International Workshop on Petri Nets and Performance Models, 2002
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 ...
openaire   +2 more sources

Stochastic Petri Nets

2023
Paulo Romero, Martins Maciel
openaire   +1 more source

Diagnosability of fault patterns with labeled stochastic Petri nets

Information Sciences, 2022
Dimitri Lefebvre, Christoforos Hadjicostis   +1 more
exaly