Results 221 to 229 of about 19,047 (229)
Some of the next articles are maybe not open access.
Generalized Stochastic Petri Nets
1998The key factor that limits the applicability of SPN models is the complexity of their analysis. This is due to many elements. The possibly very large number of reachable markings is the most critical one. Other aspects may add to the model solution complexity.
openaire +2 more sources
Stochastic Petri net semantics for stochastic process algebras
Proceedings 6th International Workshop on Petri Nets and Performance Models, 2002We 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
FSPNs: Fluid stochastic Petri nets
1993In this paper we introduce a new class of stochastic Petri nets in which one or more places can hold fluid rather than discrete tokens. After defining the class of fluid stochastic Petri nets, we provide equations for their transient and steady-state behavior. We give two application examples.
Vidyadhar G. Kulkarni, Kishor S. Trivedi
openaire +2 more sources
Introduction to Generalized Stochastic Petri Nets
2007Generalized Stochastic Petri Nets are a modelling formalism that can be conveniently used for the analysis of complex models of Discrete Event Dynamic Systems and for their performance and reliability evaluation. The automatic construction of the probabilistic models that underly the dynamic behaviours of these nets rely on a set of results that derive
openaire +2 more sources
Stochastic Petri Nets with Changeable Layout
2017Petri 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
A notion of equivalence for stochastic Petri nets
1995Equivalence 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