HEALTHCARE CRITICAL INFRASTRUCTURE STOCHASTIC INTERDEPENDENCIES SIMULATION MODEL FOR SMART CITIES: FLOOD DISASTER SCENARIO [PDF]
Healthcare Critical Infrastructure (HCI) is not an independent network; the operation of a healthcare facility depends on many other Critical Infrastructure (CI) networks such as electric supply CI, water supply CI, etc., forming an interdependent CI ...
N. Nukavarapu, S. Durbha
doaj +1 more source
Structural characterization of decomposition in rate-insensitive stochastic Petri nets [PDF]
This paper focuses on stochastic Petri nets that have an equilibrium distribution that is a product form over the number of tokens at the places. We formulate a decomposition result for the class of nets that have a product form solution irrespective of ...
Boucherie, Richard J. +3 more
core +13 more sources
Dynamic Reliability Model for Airborne Systems Based on Stochastic Petri Net
The reliability of the airborne systems have a significant influence on the safety of aircraft. The modern airborne systems have a high degree of automation and integration, which lead to obvious dynamic failure characteristics. Namely, system failure is
doaj +1 more source
Availability Analysis of Software Systems with Rejuvenation and Checkpointing
In software reliability engineering, software-rejuvenation and -checkpointing techniques are widely used for enhancing system reliability and strengthening data protection.
Junjun Zheng +2 more
doaj +1 more source
Cluster Grid based Response-time analysis module for the PIPE Tool. [PDF]
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an open source software project that allows creation, analysis and simulation ...
Argent-Katwala, A +2 more
core +2 more sources
Vulnerability Analysis of LTE-R Train-to-Ground Communication Time Synchronization
The time synchronization of LTE-R train-to-ground communication systems plays an important role in ensuring the safety of high-speed railways. In the LTE-R time synchronization process, existing problems, such as the time synchronization message ...
Yong Chen, Zhixian Zhan, Kaiyu Niu
doaj +1 more source
Using the probabilistic evaluation tool for the analytical solution of large Markov models [PDF]
Stochastic Petri net-based Markov modeling is a potentially very powerful and generic approach for evaluating the performance and dependability of many different systems, such as computer systems, communication networks, manufacturing systems, etc.
Haverkort, Boudewijn R. +1 more
core +4 more sources
Analysis of a multimachine flexible manufacturing cell using stochastic Petri nets
In this article, a generalized stochastic Petri net model is developed to analyze the performance of a multimachine flexible manufacturing cell. The analyzed flexible manufacturing cell consists of one or more machine(s), a single conveyor, and a single ...
Abdulrahman Al-Ahmari, Zhiwu Li
doaj +1 more source
The high reliability of modern engineering systems is achieved by performing predictive maintenance. Mathematical models based on stochastic timed colored Petri nets are an effective tool for developing complex production processes for Industry 4.0. This
Sergey P. Orlov +2 more
doaj +1 more source
Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets [PDF]
© 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved. Using classical combinatorial fault trees, analysts are able to assess the effects of combinations of failures on system behaviour but are unable ...
Kabir, Sohag +2 more
core +1 more source

