Results 201 to 210 of about 20,113 (245)

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

Rewritable Stochastic Petri Nets

Proceedings of the 8th International Conference on Computer Modeling and Simulation, 2017
Petri nets (PNs) are a central formalism for distributed systems, though, PNs 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 PNs has been recently proposed.
openaire   +1 more source

Embedded processes in Generalized Stochastic Petri Nets

Proceedings 9th International Workshop on Petri Nets and Performance Models, 2002
We show that a particular class of Generalized Stochastic Petri Nets have stationary probabilities that exhibit a product form. Efficient solution algorithms can be developed for the computation of the performance indices of such Product-Form GSPNs. These algorithms avoid the generation of the underlying state space. Hence, large PF-GSPN models can now
BALBO, Gianfranco, S. C. BRUELL, SERENO, Matteo   +2 more
openaire   +1 more source

Mean value analysis of stochastic Petri nets

Performance Evaluation, 1997
Summary: We present a Mean Value Analysis (MVA) algorithm for the computation of performance measures in Product Form Solution Stochastic Petri Nets. Basic to the derivation of this algorithm are recursive expressions for the performance indices that are a non-trivial generalization of those derived for the MVA of multiple class product form queueing ...
SERENO, Matteo, BALBO, Gianfranco
openaire   +3 more sources

Passage times in colored stochastic petri nets

Communications in Statistics. Stochastic Models, 1993
Summary: Passage times in colored-stochastic Petri nets correspond to delays in discrete-event stochastic systems. Formal definition of a sequence of passage times in a colored stochastic Petri net is in terms of the underlying general state space Markov chain of the marking process.
Haas, Peter J., Shedler, Gerald S.
openaire   +2 more sources

Analysis of discrete‐time stochastic petri nets

Statistica Neerlandica, 2000
The Petri net formalism is widely applied in both theoretical and practical settings. For the sake of performance analysis, the original Petri net model has been extended with the notion of time. This paper addresses the different issues involved with this extension.
Aalst, van der, W.M.P., Hee, van, K.M., Reijers, H.A.   +2 more
openaire   +1 more source

An introduction to generalized stochastic Petri nets

Microelectronics Reliability, 1991
Abstract The paper decribes the GSPN approach to the performance evaluation of distributed systems. The structural properties and temporal specifications of GSPN are summarized, and application examples are then illustrated, trying to emphasize the methodology to be followed in the model development and validation, rather than the numerical results ...
M. AJMONE MARSAN, BALBO, Gianfranco, G. CHIOLA, G. CONTE, DONATELLI, Susanna, FRANCESCHINIS, Giuliana   +5 more
openaire   +2 more sources

Arbitrary Stochastic Petri Nets

1998
Recall Section 5.1.3. When the firing policy for an STPN is the race with enabling age memory (R-E), the marginal distributions in (5.5) are the residual life distributions of t k conditioned to age variable a k :
openaire   +1 more source

FSPNs: Fluid stochastic Petri nets

1993
In 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.
Kishor S. Trivedi, Vidyadhar G. Kulkarni
openaire   +1 more source

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   +2 more sources