A characterization of the stochastic process underlying a stochastic Petri net

2002 ◽  
Author(s):  
G. Ciardo ◽  
R. German ◽  
C. Lindemann
Keyword(s):  
Stochastic Process ◽  
Petri Net ◽  
Stochastic Petri Net

An Axiomatic Characterization of a Class of Petri Nets

1991 ◽  
Vol 14 (4) ◽  
pp. 477-491
Author(s):  
Waldemar Korczynski
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Axiomatic Characterization ◽  
Algebraic Characterization

In this paper an algebraic characterization of a class of Petri nets is given. The nets are characterized by a kind of algebras, which can be considered as a generalization of the concept of the case graph of a (marked) 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

Characterization of stable processes by identically distributed stochastic integrals

1980 ◽  
Vol 12 (3) ◽  
pp. 689-709 ◽  
Author(s):  
M. Riedel
Keyword(s):  
Stochastic Process ◽  
Stable Process ◽  
Convergence In Probability ◽  
Stochastic Integrals ◽  
Stable Processes ◽  
Process With Independent Increments ◽  
Independent Increments ◽  
The Subject

Let X(t) be a homogeneous and continuous stochastic process with independent increments. The subject of this paper is to characterize the stable process by two identically distributed stochastic integrals formed by means of X(t) (in the sense of convergence in probability). The proof of the main results is based on a modern extension of the Phragmén-Lindelöf theory.

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.

Sign in / Sign up

Export Citation Format

Share Document