Results 151 to 160 of about 826,508 (206)
Some of the next articles are maybe not open access.
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.
Lindsay A. Prisgrove, Gerald S. Shedler
openaire +2 more sources
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 +1 more source
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 +1 more source
Discrete Time Stochastic Petri Nets
IEEE Transactions on Software Engineering, 1985Basic graph models of processes, such as Petri nets, have usually omitted the concept of time as a parameter. Time has been added to the Petri net model in two ways. The timed Petri net (TPN) uses a fixed number of discrete time intervals. The stochastic Petri net (SPN) uses an exponentially distributed random variable.
exaly +4 more sources
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 +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
Markov regenerative stochastic Petri nets
Performance Evaluation, 1994Abstract Stochastic Petri nets of various types (SPN, GSPN, ESPN, DSPN etc.) are recognized as useful modeling tools for analyzing the performance and reliability of systems. The analysis of such Petri nets proceeds by utilizing the underlying continuous-time stochastic processes — continuous-time Markov chains for SPN and GSPN, semi-Markov processes
Hoon Choi +2 more
openaire +2 more sources
Stochastic Timed Petri Nets and Stochastic Petri Nets
1998Stochastic timed Petri nets (STPN’s) are Petri nets in which stochastic firing times are associated with transitions. An STPN is essentially a high-level model that generates a stochastic process. STPN-based performance evaluation basically comprises modeling the given system by an STPN and automatically generating the stochastic process that governs ...
openaire +1 more source
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 ...
Lei Lei, Chuang Lin, Zhangdui Zhong
openaire +1 more source
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 ...
Lei Lei, Chuang Lin, Zhangdui Zhong
openaire +1 more source