scholarly journals Modeling and Analyzing Transmission of Infectious Diseases Using Generalized Stochastic Petri Nets

2021 ◽  
Vol 11 (18) ◽  
pp. 8400
Author(s):  
Lei Peng ◽  
Penghui Xie ◽  
Zhe Tang ◽  
Fei Liu
Keyword(s):  
Infectious Diseases ◽  
Incubation Period ◽  
Petri Net ◽  
Stochastic Petri Nets ◽  
System Level ◽  
Transmission Model ◽  
Surveillance And Response ◽  
Generalized Stochastic Petri Nets ◽  
Epidemic Development ◽  
Generalized Stochastic Petri Net

Some infectious diseases such as COVID-19 have the characteristics of long incubation period, high infectivity during the incubation period, and carriers with mild or no symptoms which are more likely to cause negligence. Global researchers are working to find out more about the transmission of infectious diseases. Modeling plays a crucial role in understanding the transmission of the new virus and helps show the evolution of the epidemic in stages. In this paper, we propose a new general transmission model of infectious diseases based on the generalized stochastic Petri net (GSPN). First, we qualitatively analyze the transmission mode of each stage of infectious diseases such as COVID-19 and explain the factors that affect the spread of the epidemic. Second, the GSPN model is built to simulate the evolution of the epidemic. Based on this model’s isomorphic Markov chain, the equilibrium state of the system and its changing laws under different influencing factors are analyzed. Our paper demonstrates that the proposed GSPN model is a compelling tool for representing and analyzing the transmission of infectious diseases from system-level understanding, and thus contributes to providing decision support for effective surveillance and response to epidemic development.

Modeling and Analysis of Soccer Robot Tasks Using Generalized Stochastic Petri Nets

2010 ◽  
Vol 166-167 ◽  
pp. 133-138
Author(s):  
Daniela Coman ◽  
Nicu Bizdoaca ◽  
Anca Petrisor ◽  
Adela Ionescu ◽  
Mihaela Florescu
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Visual Recognition ◽  
Resource Constraints ◽  
Stochastic Petri Nets ◽  
Learning From Experience ◽  
Soccer Robot ◽  
Modeling And Analysis ◽  
Generalized Stochastic Petri Nets ◽  
Robot Tasks

Robot soccer competition provides an excellent opportunity for robotics research. In particular, the soccer robots must perform real-time visual recognition, navigate in a dynamic field, avoid the obstacle, collaborate with teammates, and kick the ball in the correct direction. All these tasks demand robots that are autonomous (sensing, thinking, and acting as independent creatures), efficient (functioning under time and resource constraints), cooperative (collaborating with each other robot to accomplish tasks that are beyond individual’s capabilities), and intelligent (reasoning and planing actions and perhaps learning from experience). This paper proposes a method of defining and analysing the attacking robot tasks using Petri nets. Attacking soccer robot behaviors are modeled using the generalized stochastic Petri nets. Using Petri nets allows qualitative and quantitative analysis of the task execution. Petri net model is implemented in Petri Net Toolbox under MATLAB environment. Therefore, it is validated the net topology, the evolution of (their dynamics), the structural and behavioral properties (corresponding to checking if resources usage is stable and the model have no deadlocks), as well as the stochastic performance.

scholarly journals Performance Evaluation of BPEL4People Specifications Integrate Human Interactions Into Business Process

2010 ◽  
Author(s):  
Henrique Jorge Holanda ◽  
José Javier Merseguer ◽  
Giovanni Cordeiro Barroso ◽  
A. B. Serra
Keyword(s):  
Human Activity ◽  
Business Process ◽  
Petri Net ◽  
Stochastic Petri Nets ◽  
Business Process Execution Language ◽  
Performance Verification ◽  
Human Interactions ◽  
Model Method ◽  
Generalized Stochastic Petri Nets ◽  
Business Process Execution

WS-BPEL Extension for People (BPEL4People) introduces human activity to Web Services Business Process Execution Language (WS-BPEL/BPEL). Some works have been done on the performance verification of WS-BPEL, but there aren't works on the performance verification of WS-BPEL4People. In this paper, we propose a model method for the transformation of WS-BPEL4People/BPEL4People into Generalized Stochastic Petri Nets (GSPN) and this way evaluate its performance. During the transformation, Petri Net is used to model BPEL activities and the human activity of a human task. Then, by validating the generated model, some potential problems with performance of WS-BPEL4People can be detected.

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
Sign in / Sign up

Export Citation Format

Share Document