Post and pre-initialized stopwatch Petri nets: Formal semantics and state space computation

2008 ◽  
Vol 2 (4) ◽  
pp. 1175-1186 ◽  
Author(s):  
Adib Allahham ◽  
Hassane Alla
Keyword(s):  
Petri Nets ◽  
State Space ◽  
Formal Semantics

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.

scholarly journals An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches

2006 ◽  
Vol 144 (3) ◽  
pp. 59-77
Author(s):  
Morgan Magnin ◽  
Didier Lime ◽  
Olivier (H.) Roux
Keyword(s):  
Petri Nets ◽  
State Space ◽  
Efficient Method

A time stamp reduction method for state space exploration using colored Petri nets

SIMULATION ◽  
2011 ◽  
Vol 88 (5) ◽  
pp. 592-616 ◽  
Author(s):  
Mercedes E. Narciso ◽  
Miquel A. Piera ◽  
Antoni Guasch
Keyword(s):  
Petri Nets ◽  
State Space ◽  
Reduction Method ◽  
Space Exploration ◽  
Colored Petri Nets ◽  
Time Stamp ◽  
State Space Exploration

scholarly journals On state-space compression and state reachability retrieval of Petri nets

2019 ◽  
Vol 11 (2) ◽  
pp. 168781401982596
Author(s):  
Huorong Ren ◽  
Jin Xu ◽  
Ye Liang ◽  
Ateekh Ur Rehman ◽  
Usama Umer
Keyword(s):  
Petri Nets ◽  
State Space ◽  
Space Compression
Sign in / Sign up

Export Citation Format

Share Document