A hierarchical colored Petri net–based cyberattacks response strategy making approach for critical infrastructures by Qianxiang Zhu, Yuanqing Qin, Yue Zhao, Zhou Chunjie

“…To tackle this problem, a hierarchical colored Petri net–based cyberattacks response strategy making approach for critical infrastructures is presented. …”
Get full text

Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory by Ivo Martiník

“…Property-preserving Petri net process algebras (PPPA) were designed for the specification and verification of the Petri net processes. …”
Get full text

Research on Dynamic Reliability of a Jet Pipe Servo Valve Based on Generalized Stochastic Petri Nets by Yuanbo Chu, Zhaohui Yuan, Jia Chen

“…Based on the generalized stochastic petri nets (GSPN) theory and the collected basic failure modes and failure rate data of jet pipe servo valve, this paper proposes a novel modeling and simulating method for system’s dynamic behavior analysis. …”
Get full text

Airport Emergency Rescue Model Establishment and Performance Analysis Using Colored Petri Nets and CPN Tools by Qingkun Yu, Liangcai Cai, Xiao Tan

“…Then, we establish the WNAER colored Petri net model, and the simulation results are analyzed in depth. …”
Get full text

A Monitoring Approach Based on Fuzzy Stochastic P-Timed Petri Nets of a Railway Transport Network by Anis M’hala

“…This paper proposes a monitoring approach based on stochastic fuzzy Petri nets (SFPNs) for railway transport networks. In railway transport, the time factor is a critical parameter as it includes constraints to avoid overlaps, delays, and collisions between trains. …”
Get full text

Power Grid Fault Diagnosis Method Using Intuitionistic Fuzzy Petri Nets Based on Time Series Matching by Mingyue Tan, Jiming Li, Xiangqian Chen, Xuezhen Cheng

“…To improve the reliability of power grid fault diagnosis by enhancing the processing ability of uncertain information and adequately utilizing the alarm information about power grids, a fault diagnosis method using intuitionistic fuzzy Petri Nets based on time series matching is proposed in this paper. …”
Get full text

Modified Stochastic Petri Net-Based Modeling and Optimization of Emergency Rescue Processes during Coal Mine Accidents by Xiao Li, Yongkui Shi, Zaiyong Wang, Wenquan Zhang

“…This paper introduces the stochastic Petri net (SPN) and Markov chain (MC) models based on the system structure flow to analyze the ER processes of coal mine accidents. …”
Get full text

A Graphical Approach for Hybrid Simulation of 3D Diffusion Bio-Models via Coloured Hybrid Petri Nets by Amr Ismail, Mostafa Herajy, Elsayed Atlam, Monika Heiner

“…Indeed, a visual modelling can help to conceive a mental image which eventually contributes to the understanding of the problem under study. Coloured Hybrid Petri Nets (HPNC) are a high-level representation of classical Petri nets that offer hybrid as well as spatial modelling of biological systems. …”
Get full text

Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions by Kai Leung Yung, Ming Gao, An Liu, Wai Hung Ip, Shancheng Jiang

“…All processes should be completed within the deadline so that the space project can be launched at the scheduled time. The colored Petri net (CPN) modeling method can describe a variety of resource types and execution logic, and it can be formally verified. …”
Get full text

Research on Grid Scheduling of Super-Peer Model Based on QoS by Shanliang Pan, Xi Huang, Qinjiao Mao

Subjects: Get full text

Complexity Quantification for Overhead Transmission Line Emergency Repair Scheme via a Graph Entropy Method Improved with Petri Net and AHP Weighting Method by Jing Zhou, Cunbin Li, Weihua Shen, Ye Zhang

“…According to the characteristics of emergency repair in overhead transmission line accidents, a complexity quantification method for emergency repair scheme is proposed based on the entropy method in software engineering, which is improved by using group AHP (analytical hierarchical process) method and Petri net. Firstly, information structure chart model and process control flowchart model could be built by Petri net. …”
Get full text

Neighbor Session Solutions for Integrated Routing Protocols by Martin Kontsek, Pavel Segec, Marek Moravcik, Juraj Smiesko

Subjects: Get full text

ProcessM: Intelligent Process Mining software by Tomasz P. Pawlak, Jędrzej Potoniec

Subjects: “…Petri net…”
Get full text

Service substitution method based on composition context by Hai-yan WANG, Si-rui LI

Subjects: Get full text

Analysis and verification of safety computer time constraints for train-to-train communications by Ying GAO, Yuan CAO, Yongkui SUN, Lianchuan MA, Chunhua HONG, Yuzhuo ZHANG

Subjects: “…time Petri net…”
Get full text

Improved rule-based backward fuzzy reasoning algorithm by ZHANG Wen1, ZHANG Gui-xu1

Subjects: “…fuzzy Petri net…”
Get full text

Analysis and improvement of the BACnet/IP based on identity authentication by Pengshou XIE, Jiafeng ZHU, Yongping KANG, Tao FENG, Wei LI, Yuxiang RAN

Subjects: Get full text

Formal modeling and security analysis method of security protocol based on CPN by Xiang GONG, Tao FENG, Jinze DU

Subjects: “…colored Petri net…”
Get full text

Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPN by ZHENG Lu, FENG Tao, SU Chunhua

Subjects: Get full text

Modeling and security analysis of hardware trojan attack based on GSCPN by MEI Bo, GUO Wei, CAO Zhipeng, LI Peijie, ZHANG Wenbo

Subjects: “…generalized stochastic coloring petri net…”
Get full text