Results 221 to 230 of about 63,942 (286)
Some of the next articles are maybe not open access.
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
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, 2017Petri 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, 2002We 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 +2 more
openaire +1 more source
Mean value analysis of stochastic Petri nets
Performance Evaluation, 1997Summary: 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, 1993Summary: 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, 2000The 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. +2 more
openaire +1 more source
An introduction to generalized stochastic Petri nets
Microelectronics Reliability, 1991Abstract 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 +5 more
openaire +2 more sources