Results 201 to 210 of about 63,942 (286)
Some of the next articles are maybe not open access.
Benchmark Datasets for Stochastic Petri Net Learning
IEEE International Joint Conference on Neural Network, 2021The existing Stochastic Petri Net (SPN) analysis methods are based on a series of steps, including generating the reachable graph, solving the state equation, etc.
Mingjian Guang +4 more
semanticscholar +1 more source
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2020
Availability of a common, shared benchmark to provide repeatable, quantifiable, and comparable results is an added value for any scientific community. International consortia provide benchmarks in a wide range of domains, being normally used by industry,
Ricardo J. Rodríguez +2 more
semanticscholar +1 more source
Availability of a common, shared benchmark to provide repeatable, quantifiable, and comparable results is an added value for any scientific community. International consortia provide benchmarks in a wide range of domains, being normally used by industry,
Ricardo J. Rodríguez +2 more
semanticscholar +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, 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
International Conference on Intelligent Transportation Systems, 2019
The paper presents a stochastic, infrastructure centered modeling approach for capacity analysis applications in long term planning of railway stations.
Malte Schmidt +4 more
semanticscholar +1 more source
The paper presents a stochastic, infrastructure centered modeling approach for capacity analysis applications in long term planning of railway stations.
Malte Schmidt +4 more
semanticscholar +1 more source
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
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.
openaire +2 more sources