Results 161 to 170 of about 60,348 (227)
Some of the next articles are maybe not open access.
A stochastic Petri Net‐based approach for operational performance estimation of quay cranes
Quality and Reliability Engineering International, 2023Reliability, availability, and maintainability (RAM) of quay cranes (QCs) are essential for an effective port operation. This study estimates operational RAM of QCs using the Stochastic Petri Net (SPN) modelling.
M. R. Jalal +3 more
semanticscholar +1 more source
International Journal of Communication Systems, 2023
This paper proposes an energy‐harvesting‐aware model that aims to assess the performances of wireless sensor networks. Our model uses generalized stochastic Petri nets to define a sensor–neighbors relationship abstraction.
Oukas Nourredine +3 more
semanticscholar +1 more source
This paper proposes an energy‐harvesting‐aware model that aims to assess the performances of wireless sensor networks. Our model uses generalized stochastic Petri nets to define a sensor–neighbors relationship abstraction.
Oukas Nourredine +3 more
semanticscholar +1 more source
Performance Evaluation of a new one-time password (OTP) scheme using stochastic petri net (SPN)
2022 IEEE World AI IoT Congress (AIIoT), 2022Static password is no more considered as a secure alternative to attain the authentication of the valid user in the internet world. This already opens the door for the attackers to compromise the password because of several vulnerable security attacks ...
R. Khan, Jonayet Miah
semanticscholar +1 more source
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. >
Kishor S. Trivedi +2 more
openaire +2 more sources
Regenerative stochastic Petri nets
Performance Evaluation, 1986Abstract 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. Using structural properties of the SPN and recurrence theory for
Peter J. Haas, Gerald S. Shedler
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
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
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