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