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

Risk assessment model based on fuzzy Petri nets by Xiang GAO, Yue-fei ZHU, Sheng-li LIU, Jin-long FEI, Long LIU

Subjects: 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

Research on two-phase grid task scheduling based on Petri nets by XIONG Zeng-gang 1, YANG Yang2, ZENG Ming2

Subjects: Get full text

Representation and termination analysis for ECA rules based on extended Petri net by Li-chen ZHANG, Xiao-ming WANG, Wen-yang DOU

Subjects: 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

MODELING A NEGOTIATION PROCESS BETWEEN AIRCRAFT USING PETRI NETS by Daria ŻUCHOWSKA, Anna STELMACH

Subjects: Get full text

Precision Evaluation Methods of Petri Nets Modelling Discrete-Event Processes by Ernesto López-Mellado, Rubén Barragán-Pérez

“…This article outlines four precision evaluation approaches for Petri net (PN) workflow models obtained through process discovery techniques. …”
Get full text

Survivability model for reconfigurable service carrying network based on the stochastic Petri net by Liang ZHAO, Hong ZOU, Xiao-hui ZHANG

Subjects: 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

Grid Scheduling of Super-Peer Model Based on Price Timed Petri Net by Shanliang Pan, Xi Huang, Qinjiao Mao

Subjects: 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

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

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

Get full text

Analysing Window Flowing Control Mechanism of Packet Switching Networks Based on Stochastic Petri Nets by Si Yujuan Lang Liuqi Zhou Li Dai Yisong

“…In this paper,by using queuing networks and stochastic Petri nets technique,window flow control mechanism in network layer of packet switching net can be described and analysed in detailed and then their SPN models are established,SPN reachability graph of stochatic petri nets and state equation are put forward.A new way is given for property analysis and evaluation of communication networks.…”
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