On Categories of Fuzzy Petri Nets by Arun K. Srivastava, S. P. Tiwari

“…We introduce the concepts of fuzzy Petri nets and marked fuzzy Petri nets along with their appropriate morphisms, which leads to two categories of such Petri nets. …”
Get full text

Modeling a Heterogeneous Embedded System in Coloured Petri Nets by Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun

Get full text

Reliability Model of the Fly-By-Wire System Based on Stochastic Petri Net by Zhong Lu, Zhiwen Zhang, Lu Zhuang, Jia Zhou

“…In the paper, stochastic Petri nets are applied in the reliability modeling and analysis for the fly-by-wire system to represent its dynamic (time-dependent) failure behaviors. …”
Get full text

Petri Net Model for Serious Games Based on Motivation Behavior Classification by Moh. Aries Syufagi, Mochamad Hariadi, Mauridhi Hery Purnomo

“…Petri nets are graphical and mathematical tool for modeling, analyzing, and designing discrete event applicable to many systems. …”
Get full text

Model Identification of Unobservable Behavior of Discrete Event Systems Using Petri Nets by Guanghui Zhu, Ya Wang, Yajie Wang

“…This paper deals with the problem of identifying a Petri net that models the unobservable behavior of a system from the knowledge of its dynamical evolution. …”
Get full text

Using Coloured Petri Nets for Evaluating the Power Consumption of Wireless Sensor Networks by Antônio Dâmaso, Nelson Rosa, Paulo Maciel

“…This approach consists of a fully automated process for evaluating the WSN lifetime, a set of reusable Coloured Petri Net (CPN) models that express the power consumption of WSN communication protocols, and a strategy for composing CPN models of WSN applications and protocols. …”
Get full text

Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets by Jing Liu, Xinming Ye, Jiantao Zhou

“…This paper proposes an input-output conformance (IOCO) test selection method directed by test purpose model specified with colored Petri nets (CPN). Based on conformance testing oriented CPN models for specifying software functional behaviors and specific test purposes, respectively, feasible test cases are generated, guided by the CPN based IOCO relation, using synchronized model simulation with the proof of the soundness of test generation and the coverage towards test purposes. …”
Get full text

Corrigendum to “Modeling and Robustness Study of Railway Transport Networks Using P-Timed Petri Nets” by Anis Mhalla, Mouhaned Gaied

Get full text

Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking by Wenjie Zhong, Jian‐tao Zhou, Tao Sun

Subjects: Get full text

Reliability Prediction of Ontology-Based Service Compositions Using Petri Net and Time Series Models by Jia Li, Yunni Xia, Xin Luo

“…In this study, we consider the runtime quality of services to be fluctuating and introduce a dynamic framework to predict the runtime reliability of services specified in OWL-S, employing the Non-Markovian stochastic Petri net (NMSPN) and the time series model. The framework includes the following steps: obtaining the historical response times series of individual service components; fitting these series with a autoregressive-moving-average-model (ARMA for short) and predicting the future firing rates of service components; mapping the OWL-S process into a NMSPN model; employing the predicted firing rates as the model input of NMSPN and calculating the normal completion probability as the reliability estimate. …”
Get full text

An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets by Zhongyuan Jiang, Huan Wang, Xiaoliang Chen, Mingwei Tang, Jianhong Ye

Get full text

A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System by Marcin Wojnakowski, Maxim Maliński, Remigiusz Wiśniewski, Andrzej Obuchowicz, Zhiwu Li, Dawid Konarczak

Subjects: “…Petri nets…”
Get full text

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