Research on data loss probability and its impact of CTCS-3 train ground communication based on GSM-R by Xia ZHANG, Lian-chuan MA, Yuan CAO, Yu-zhuo ZHANG

Subjects: “…deterministic and stochastic Petri net…”
Get full text

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

Modeling, Design, and Implementation of a Cloud Workflow Engine Based on Aneka by Jiantao Zhou, Chaoxin Sun, Weina Fu, Jing Liu, Lei Jia, Hongyan Tan

“…This paper presents a Petri net-based model for cloud workflow which plays a key role in industry. …”
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 Retrieval Optimized Surveillance Video Storage System for Campus Application Scenarios by Shengcheng Ma, Xin Chen, Zhuo Li, Yingjie Yang

“…From the above, we model the storage system by a stochastic Petri net (SPN) and verify the promotion of query performance by quantitative analysis.…”
Get full text

A Multistep Look-Ahead Deadlock Avoidance Policy for Automated Manufacturing Systems by Chao Gu, Zhiwu Li, Abdulrahman Al-Ahmari

“…It is shown that the development of an optimal DAP for the considered class of Petri nets is also of polynomial complexity. It is indicated that the steps needed to look ahead in a DAP depend on the structure of the net model. …”
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

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

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

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

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

Cloud/VPN-Based Remote Control of a Modular Production System Assisted by a Mobile Cyber–Physical Robotic System—Digital Twin Approach by Georgian Simion, Adrian Filipescu, Dan Ionescu, Adriana Filipescu

“…Continuous Petri Nets (CPNs) handle the movement of the MCPRS. …”
Get full text

Multi-model based behaviour analysis for inclusive mobility by Vanderhaegen Frédéric, Richard Philippe

“…They are modelled with Petri nets and Faults trees. The analysis of combinations between these models generates scenarios that can affect inclusive mobility in terms of human health, system safety or fluidity of mobility. …”
Get full text

Research on models of network security evaluation and analysis by Wenyan LIU, Shumin HUO, Qing TONG, Miao ZHANG, Chao QI

“…Network security assessment helps to grasp the current and future risks of the network information system clearly,and gives corresponding security suggestions and countermeasures.Model of network security assessment and analysis is an important research direction and content,for which there is no review to give a comprehensive summary or analysis.A review of common network security evaluation and analysis model was given.The model that focus on attack was introduced,such as the attack tree,attack graph and kill chain,then the model that focus on network defense or offensive and defensive interaction was explained,such as attack surface,cyber epidemic model,Petri nets and automation machine,giving introduction to the basic concept,application field,modeling analysis process,advantages and disadvantages of the models.Then,typical examples were given to illustrate the application of the models in network defense technology evaluation and analysis.…”
Get full text

A Comprehensive Approach to Power Management in Embedded Systems by Antônio Augusto Fröhlich

“…A set of mechanisms specifically conceived for this scenario is proposed, including a power management API defined at the level of user-visible system components, the infrastructure necessary to implement that API (namely, battery monitoring, accounting, autosuspend, and autoresume), an energy-event propagation mechanism based on Petri nets and implemented with aspect-oriented programming techniques, and an autonomous power manager build upon the proposed API and infrastructure. …”
Get full text

Modeling and performance analysis of train communication network based on switched ethernet by Yu-zhuo ZHANG, Yuan CAO, Ying-hong WEN

“…In order to meet the information transmission requirements of large capacity,high speed and hard real-time in the future,switched ethernet was introduced to the train communication network (TCN).Messages of different priorities was investigated,and established the TCN transmission process model with determined and stochastic Petri nets (DSPN) in accordance to its communication scheduling mechanism.The influences of different switch scheduling algorithms to the delay were compared,and the relationships between throughput and message number,throughout and generating cy-cle were respectively investigated.The experimental results show that the priority scheduling algorithm can reduce the delay of real-time data under the condition of sacrificing non real-time data's delay.It also verify the throughput of TCN based on switched ethernet is much higher than that of the existing TCN,which can provide theoretical basis for the de-sign and optimization in the future.…”
Get full text

Methodical Approach to Selecting the Appropriate Distribution for Reliability Analysis: Automotive Application by Bella Naoufal, Salhi Nohaila, Lagrat Ismail

“…As a result, in improving the models used to analyze complex systems behavioral analogies such as Petri nets or Markov chains.…”
Get full text

Mixed Integer Programming-Based Liveness Test for FMS with Full Routing Flexibility by Lida Dong, Tianyang Chi, Chengcheng Zhu, Jun Yin

“…Mixed integer programming (MIP) is an important technique to verify the liveness property of sequential flexible manufacturing systems (FMS) modeled by Petri nets. When there are some fully flexible routings in FMS, the existing MIP-based methods are not suitable for testing their liveness. …”
Get full text

Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors by Liang Hong, YiFan Hou, JunFeng Jing, AnRong Wang, Dmitry A. Litvin

“…This work develops an iterative deadlock prevention method for a special class of Petri nets that can well model a variety of flexible manufacturing systems. …”
Get full text