Results 181 to 190 of about 20,113 (245)
Non-lethal imaging and modeling approaches for estimating dry mass in aquatic larvae. [PDF]
Granados Frias D +3 more
europepmc +1 more source
位相型近似による Markov Regenerative Stochastic Petri Net の解析 (不確実性と意思決定の数理)
隆太郎 藤本 +2 more
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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. >
K.S. Trivedi +2 more
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 +2 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 +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 +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
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.
Prisgrove, Lindsay A. +1 more
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.
Haas, Peter J., Shedler, Gerald S.
openaire +1 more source

