Results 181 to 190 of about 20,113 (245)

Cost-effectiveness of intrapartum azithromycin to prevent maternal infection, sepsis, or death in low-income and middle-income countries: a modelling analysis of data from a randomised, multicentre, placebo-controlled trial.

open access: yesLancet Glob Health
Patterson JK   +37 more
europepmc   +1 more source

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, 2002
In 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. >
K.S. Trivedi   +2 more
openaire   +1 more source

Regular stochastic petri nets

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

Controlled stochastic Petri nets

Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems, 2002
A 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   +1 more source

Stochastic Petri Nets

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

Symmetric stochastic Petri nets

IBM Journal of Research and Development, 1986
Summary: 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.
Prisgrove, Lindsay A.   +1 more
openaire   +2 more sources

Regenerative stochastic Petri nets

Performance Evaluation, 1986
The 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.
Haas, Peter J., Shedler, Gerald S.
openaire   +1 more source

Home - About - Disclaimer - Privacy