Hierarchically organized Petri net state space for reachability and deadlock analysis

2003 ◽  
Author(s):  
M. Notomi ◽  
T. Murata
Keyword(s):  
State Space ◽  
Petri Net ◽  
Deadlock Analysis

scholarly journals Petri-net-based deadlock analysis of Process Algebra programs

1994 ◽  
Vol 23 (1) ◽  
pp. 55-89 ◽  
Author(s):  
P. Rondogiannis ◽  
M.H.M. Cheng
Keyword(s):  
Petri Net ◽  
Process Algebra ◽  
Deadlock Analysis

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.

Revisiting state space exploration of timed coloured petri net models to optimize manufacturing system’s performance

2010 ◽  
Vol 18 (9) ◽  
pp. 1225-1241 ◽  
Author(s):  
Miguel Mujica ◽  
Miquel Angel Piera ◽  
Mercedes Narciso
Keyword(s):  
State Space ◽  
Petri Net ◽  
Space Exploration ◽  
Coloured Petri Net ◽  
State Space Exploration

Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources

2010 ◽  
Vol 83 (4) ◽  
pp. 675-688 ◽  
Author(s):  
Farooq Ahmad ◽  
Hejiao Huang ◽  
Xiao-Long Wang
Keyword(s):  
Petri Net ◽  
Manufacturing Processes ◽  
Shared Resources ◽  
Deadlock Analysis

Using state space reduction methods for deadlock analysis in Ada tasking

1993 ◽  
Vol 18 (3) ◽  
pp. 51-60 ◽  
Author(s):  
S. Duri ◽  
U. Buy ◽  
R. Devarapalli ◽  
S. M. Shatz
Keyword(s):  
State Space ◽  
Space Reduction ◽  
Deadlock Analysis ◽  
Reduction Methods ◽  
State Space Reduction

Vulnerability, Uncertainty and Probability (VUP) Quantification of a Network of Interacting Satellites Using Stochastic Petri Nets (SPN)

2013 ◽  
Author(s):  
Atefeh Einafshar ◽  
Farrokh Sassani
Keyword(s):  
Markov Chain ◽  
Quantitative Analysis ◽  
Petri Nets ◽  
State Space ◽  
Petri Net ◽  
Stochastic Petri Nets ◽  
Discrete State ◽  
New Approach ◽  
Stochastic Petri Net ◽  
Discrete State Space

A new approach to Vulnerability, Uncertainty and Probability (VUP) quantification procedure using Stochastic Petri Nets within a network of interacting satellites is presented. A Stochastic Petri Net based model is developed to quantify VUP in a network of interacting satellites. Three indicators are proposed to determine the VUP definitions in interacting network of satellites. The proposed VUP quantification scheme addresses a methodology which employs a Stochastic Petri Net for quantitative analysis of the behavior of the network. With the random variables associated with the Petri Net transitions, the dynamic behavior of the cooperating satellites in a SPN model can be mapped onto a time-continuous Markov chain with discrete state space. After generating a Markov Stochastic Petri Net model, the probability of a given condition in the network at a specified time can be computed and quantified as well as the vulnerability and uncertainty of the system using the identified indicators.

scholarly journals An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets

Symmetry ◽  
2021 ◽  
Vol 13 (3) ◽  
pp. 392
Author(s):  
Dongming Xiang ◽  
Xiaoyan Tao ◽  
Yaping Liu
Keyword(s):  
State Space ◽  
Structural Properties ◽  
Petri Net ◽  
Concurrent Systems ◽  
Improved Method ◽  
Key Factors ◽  
State Space Explosion ◽  
Series Of Experiments ◽  
Recursive Relations

The unfolding technique of Petri net can characterize the real concurrency and alleviate the state space explosion problem. Thus, it is greatly suitable to analyze/check some potential errors in concurrent systems. During the unfolding process of a Petri net, the calculations of configurations, cuts, and cut-off events are the key factors for the unfolding efficiency. However, most of the unfolding methods do not specify a highly efficient calculations on them. In this paper, we reveal some recursive relations and structural properties of these factors. Subsequently, we propose an improved method for computing configurations and cuts. Meanwhile, backward conflicts are used to guide the calculations of cut-off events. Moreover, a case study and a series of experiments are done to illustrate the effectiveness and application scenarios of our methods.

Sign in / Sign up

Export Citation Format

Share Document