Stochastic Petri Net Models

1996 ◽  
pp. 119-142
Author(s):  
Robin Sahner ◽  
Kishor S. Trivedi ◽  
Antonio Puliafito
Keyword(s):  
Petri Net ◽  
Stochastic Petri Net

The Quantitative Assessment of Domino Effects Based on Stochastic Petri Nets

2008 ◽  
Vol 44-46 ◽  
pp. 537-544
Author(s):  
Shi Yi Bao ◽  
Jian Xin Zhu ◽  
Li J. Wang ◽  
Ning Jiang ◽  
Zeng Liang Gao
Keyword(s):  
Petri Nets ◽  
State Space ◽  
Petri Net ◽  
Quantitative Assessment ◽  
Stochastic Petri Nets ◽  
Industrial Park ◽  
Domino Effect ◽  
State Space Explosion ◽  
Stochastic Petri Net ◽  
Chemical Industrial Park

The quantitative analysis of “domino” effects is one of the main aspects of hazard assessment in chemical industrial park. This paper demonstrates the application of heterogeneous stochastic Petri net modeling techniques to the quantitative assessment of the probabilities of domino effects of major accidents in chemical industrial park. First, five events are included in the domino effect models of major accidents: pool fire, explosion, boiling liquid expanding vapour explosion (BLEVE) giving rise to a fragment, jet fire and delayed explosion of a vapour cloud. Then, the domino effect models are converted into Generalized Stochastic Petri net (GSPN) in which the probability of the domino effect is calculated automatically. The Stochastic Petri nets’ models, which are state-space based ones, increase the modeling flexibility but create the state-space explosion problems. Finally, in order to alleviate the state-space explosion problems of GSPN models, this paper employs Stochastic Wellformed Net (SWN), a particular class of High-Level (colored) SPN. To conduct a case study on a chemical industrial park, the probability of domino effects of major accidents is calculated by using the GSPN model and SWN model in this paper.

Risk assessment of FPSO topside based on generalized Stochastic Petri Net

2021 ◽  
Vol 238 ◽  
pp. 109732
Author(s):  
Jichuan Kang ◽  
Xinyuan Geng ◽  
Xu Bai ◽  
Yan Dong
Keyword(s):  
Risk Assessment ◽  
Petri Net ◽  
Stochastic Petri Net ◽  
Generalized Stochastic Petri Net

Reliability and availability evaluation of subsea high integrity pressure protection system using stochastic Petri net

2021 ◽  
pp. 1748006X2110499
Author(s):  
Chuan Wang ◽  
Jun Gou ◽  
Yingcheng Tian ◽  
Hao Jin ◽  
Chao Yu ◽  
...  
Keyword(s):  
Petri Net ◽  
Evaluation Method ◽  
Safety Evaluation ◽  
Diagnostic System ◽  
Test Methods ◽  
Protection System ◽  
Stochastic Petri Net ◽  
Practical Engineering ◽  
Common Cause Failures ◽  
High Integrity

In this paper, a safety evaluation method of subsea High Integrity Pressure Protection System (HIPPS) based on a generalized stochastic Petri net model is proposed. Different test methods were used to detect different types of failures and to analyze the reliability of HIPPS components under the influence of common cause failures and incomplete repair. The reliability curve of a diagnostic system consisting of a transmitter system and a logic system under the influence of uncertainty over time is analyzed. The safety of HIPPS with diverse test methods were quantitatively analyzed. The results show a significant improvement in the performance of the system after testing and maintenance. Both partial-stroke testing and increased partial-stroke test coverage can be used to increase the HIPPS performance compared to traditional methods. The analysis of the Partial stroke test (PST) strategy can afford a academic basis for the selection of PST frequency and Functional test (FT) interval in practical engineering.

scholarly journals Role of Stochastic Petri Net (SPN) in Process Discovery for Modelling and Analysis

2021 ◽  
Vol 2021 ◽  
pp. 1-7
Author(s):  
Shabnam Shahzadi ◽  
Xianwen Fang ◽  
David Anekeya Alilah
Keyword(s):  
Petri Net ◽  
Business Processes ◽  
Time Perspective ◽  
Process Mining ◽  
Vital Role ◽  
Process Discovery ◽  
Stochastic Petri Net ◽  
Event Log ◽  
The Stability ◽  
Generalized Stochastic Petri Net

For exploitation and extraction of an event’s data that has vital information which is related to the process from the event log, process mining is used. There are three main basic types of process mining as explained in relation to input and output. These are process discovery, conformance checking, and enhancement. Process discovery is one of the most challenging process mining activities based on the event log. Business processes or system performance plays a vital role in modelling, analysis, and prediction. Recently, a memoryless model such as exponential distribution of the stochastic Petri net SPN has gained much attention in research and industry. This paper uses time perspective for modelling and analysis and uses stochastic Petri net to check the performance, evolution, stability, and reliability of the model. To assess the effect of time delay in firing the transition, stochastic reward net SRN model is used. The model can also be used in checking the reliability of the model, whereas the generalized stochastic Petri net GSPN is used for evaluation and checking the performance of the model. SPN is used to analyze the probability of state transition and the stability from one state to another. However, in process mining, logs are used by linking log sequence with the state and, by this, modelling can be done, and its relation with stability of the model can be established.

Evaluation of Natural Disaster Emergency Response Procedure Based on Petri Net

2013 ◽  
Vol 339 ◽  
pp. 236-241
Author(s):  
Ying Zhang ◽  
Shi Hang Huang ◽  
De Peng Dang ◽  
Hui Ruan
Keyword(s):  
Decision Making ◽  
Markov Chain ◽  
Steady State ◽  
Emergency Response ◽  
Petri Net ◽  
Limited Resource ◽  
Scientific Basis ◽  
Emergency Plan ◽  
Stochastic Petri Net ◽  
State Nature

How to ensure a smooth, fast and efficient emergency response procedure becomes a highly concerned issue. However, a procedure of emergency plan may be confusing and inefficient in reality due to delay caused by waiting for decision-making, responding to conflicts and limited resource during the process of dealing with emergency. In this paper, we propose a colored stochastic Petri net to evaluate the security and complexity of emergency response procedure and the reasonableness of resource flow, so as to effectively analyze the potential deficiencies of emergency response procedure. We firstly establish a colored stochastic Petri net, and then convert the colored stochastic Petri net to an isomorphic Markov chain. Studying the structural properties of the colored stochastic Petri net and steady-state nature of the Markov chainprovides a scientific basis for the perfection of emergency plan. Meanwhile, it also ensures an ordered and efficient implementation of emergency response procedure in an emergency.

Sign in / Sign up

Export Citation Format

Share Document