A Key Event Path Analysis Approach for Integrated Systems by Jingjing Liao

“…According to translation rules concluded from integrated system architecture descriptions, the corresponding PESGs are constructed from the colored Petri Net (CPN) models. Then the definitions of cycle event paths, sequence event paths, and key event paths are given. …”
Get full text

Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method by Haiyun Yang, Youchao Sun, Longbiao Li, Yundong Guo, Siyu Su, Qijun Huangfu

“…In order to overcome the limitations, the approach that FTA combines with generalized stochastic petri net (GSPN) is proposed. First, FTA is used to establish the static model for the top level of the IMA system, while GSPN is used to build a dynamic model for each cell system. …”
Get full text

A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems by Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin

“…The result is represented as a Petri net, which is used to construct the state machine of the plant model and monitor and is in accordance with the IEC 61499 Standard. …”
Get full text

DHRCA: A Design of Security Architecture Based on Dynamic Heterogeneous Redundant for System on Wafer by Bo Mei, Zhengbin Zhu, Peijie Li, Bo Zhao

“…The security of our approach is analyzed by building a generalized stochastic coloring petri net (GSCPN) model of DHRCA. The simulation results based on the GSCPN model show that our method can improve the system security probability to 0.8690 and the system availability probability to 0.9750 in the steady state compared with typical triple-mode redundancy and runtime monitoring methods. …”
Get full text

A Model Reduction Method for Parallel Software Testing by Tao Sun, Xinming Ye

“…In this paper, a model reduction method based on Coloured Petri Net (CPN) is shown, which could generate a functionality-equivalent and trace-equivalent model with smaller scale. …”
Get full text

Control of Discrete Event Systems by Means of Discrete Optimization and Disjunctive Colored PNs: Application to Manufacturing Facilities by Juan-Ignacio Latorre-Biel, Emilio Jiménez-Macías, Mercedes Pérez de la Parte, Julio Blanco-Fernández, Eduardo Martínez-Cámara

“…With the purpose of improving the efficiency of a control methodology for discrete systems, based on a simulation-based optimization and the Petri net (PN) model of the real discrete event dynamic system (DEDS), this paper presents a strategy, where a transformation applied to the model allows removing the redundant information to obtain a smaller model containing the same useful information. …”
Get full text

Modeling and Analysis of Postdisaster Aviation Medical Rescue Process Using SPN-MC by Qingsong Zhang, Xuezheng Wang, Yijia Jin, Xingna Luo

“…The dynamic discrete modeling of the postdisaster aviation medical rescue process was carried out in combination with the stochastic Petri net (SPN) theory, and the effectiveness of the process of postdisaster aviation medical rescue was analyzed by using the isomorphism relationship between SPN and Markov chain (MC). …”
Get full text

A Dynamic Source Tracing Method for Food Supply Chain Quality and Safety Based on Big Data by Jun Song, Hong Huo, Teng Li, Lingyun Chu

“…At first, this paper summarized the variables of food supply chain quality and safety, constructed a Petri net model and a Bayesian network model for food quality prediction and source tracing, and realized the prediction of food quality features. …”
Get full text