Results 201 to 210 of about 19,047 (229)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Regenerative stochastic Petri nets
Performance Evaluation, 1986The stochastic Petri net (SPN) model is well suited to formal representation of concurrency, synchronization, and communication. We define the marking process of an SPN in terms of a general state space Markov chain which describes the net at successive transition firing times.
Peter J. Haas, Gerald S. Shedler
openaire +3 more sources
Symmetric stochastic Petri nets
IBM Journal of Research and Development, 1986Summary: The stochastic Petri net (SPN) model is well suited for formal representation of concurrency, synchronization, and communication. In this paper we focus on discrete event simulation methods for SPN models with special structure and define a symmetric SPN.
Gerald S. Shedler, Lindsay A Prisgrove
openaire +3 more sources
From stochastic Petri nets to Markov regenerative stochastic Petri nets
MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 2002In this paper we survey the Petri net literature and focus on Petri nets with generally distributed transition firing times. In the framework of Markov regenerative stochastic Petri nets (MRSPN) we develop and solve two examples to illustrate the modeling power of MRSPNs and provide our experience on solution techniques for transient measures. >
Kishor S. Trivedi +2 more
openaire +2 more sources
1991
An extension of regular nets, a class of colored nets, to a stochastic model is proposed. We show that the symmetries in this class of nets make it possible to develop a performance evaluation by constructing only a graph of symbolic markings, which vertices are classes of states, instead of the whole reachability graph.
Haddad, Serge, Dutheillet, Claude
openaire +3 more sources
An extension of regular nets, a class of colored nets, to a stochastic model is proposed. We show that the symmetries in this class of nets make it possible to develop a performance evaluation by constructing only a graph of symbolic markings, which vertices are classes of states, instead of the whole reachability graph.
Haddad, Serge, Dutheillet, Claude
openaire +3 more sources
Simulation of fluid stochastic Petri nets
Proceedings 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (Cat. No.PR00728), 2002Describes a method for the simulation of fluid stochastic Petri nets (FSPNs). The FSPNs are a promising formalism for modeling hybrid dynamic systems, i.e. systems having both discrete and continuous components that evolve over time. Unfortunately, an analytical evaluation of performance measures for such nets requires the solution of a complex system ...
M. GRIBAUDO, SERENO, Matteo
openaire +2 more sources
2015
SPNs were introduced in 1980 as a formalism for the description of discrete event systems whose dynamic behavior can be represented by means of continuous-time homogeneous Markov chains [1]. Although SPN models are widely used for performance and reliability evaluation of many practical systems, the major problem in this approach, however, is that a ...
Chuang Lin, Lei Lei, Zhangdui Zhong
openaire +2 more sources
SPNs were introduced in 1980 as a formalism for the description of discrete event systems whose dynamic behavior can be represented by means of continuous-time homogeneous Markov chains [1]. Although SPN models are widely used for performance and reliability evaluation of many practical systems, the major problem in this approach, however, is that a ...
Chuang Lin, Lei Lei, Zhangdui Zhong
openaire +2 more sources
Controlled stochastic Petri nets
Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems, 2002A new framework for the extension of stochastic Petri nets (SPNs) is introduced. SPNs are extended by elements providing means for a dynamic optimization of performability measures. A new type of transition is defined, offering a feature for specification of controlled switching, called reconfiguration, from one marking of a SPN to another marking ...
H. de Meer, O.R. Dusterhoft
openaire +2 more sources
On the success of stochastic Petri nets
Proceedings 6th International Workshop on Petri Nets and Performance Models, 2002Stochastic Petri nets (SPNs) are discussed from the point of view of the results that have contributed most to the dissemination of this formalism. The historical context in which SPN ideas have developed is briefly reviewed to recount the motivations that have driven this research field and to show how its success has been recognized by the scientific
openaire +3 more sources
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 +2 more sources
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 +2 more sources