Results 1 to 10 of about 20,698 (215)
A Numerical Comparison of Petri Net and Ordinary Differential Equation SIR Component Models [PDF]
IEEE AccessPetri nets are an increasingly used modeling framework for the spread of disease across populations or within an individual. For example, the Susceptible-Infectious-Recovered (SIR) compartment model is foundational for population epidemiological modeling
Trevor Reckell +4 more
doaj +2 more sources
Computers, 2019 Petri net is a highly useful tool for modeling of discrete-event systems. However, Petri net models of real-life systems are enormous, and their state-spaces are usually of infinite size. Thus, performing analysis on the model becomes difficult.
Reggie Davidrajuh, Davidrajuh Reggie
exaly +3 more sources
Petri Net Model and Reliability Evaluation for Wind Turbine Hydraulic Variable Pitch Systems
Energies, 2011 Based on an analysis of the working principles of the hydraulic variable pitch system of a wind turbine, a novel Petri net model and reliability evaluation method are proposed.
Xiyun Yang, Yang Xiyun
exaly +3 more sources
A CAPTCHA Identification Method Optimized by Petri Net [PDF]
Jisuanji gongcheng, 2020 AlexNet does not perform well in the multi-target classification of verification codes due to the large number of parameters and heavy floating point computation.To address the problem,this paper proposes a CAPTCHA recognition method optimized by Petri ...
MA Jinlin, CHEN Deguang, MA Ziping, WEI Lin
doaj +1 more source
Barekeng, 2021 This research develops the previous one of the electricity bill payment system in PT. PLN (Persero) Rayon East Ambon modelled by Petri Net. The previous researcher had built the Petri Net model of this payment system.
Zumrotus Sya'diyah
doaj +1 more source
Structural matrices for Signed Petri net
AKCE International Journal of Graphs and Combinatorics, 2022 The developments in the field of Graph Theory and Petri net Theory in the form of balanceness and negative tokens respectively motivated the authors to bridge the gap between Petri net and Signed graph and introduce a new concept of Signed Petri net (SPN)
Payal, Sangita Kansal
doaj +1 more source
Analysis of Container Terminal Handling System Based on Petri Net and ExtendSim
Promet (Zagreb), 2023 The container terminal handling system plays an important role in marine transportation, and improving its efficiency has become a big challenge. Therefore, this paper proposes an analytical method that combines a Petri net with simulation tools. Firstly,
Danfeng Du, Tiantian Liu, Chun Guo
doaj +1 more source
Simultaneous Petri Net Synthesis [PDF]
Scientific Annals of Computer Science, 2018 Petri net synthesis deals with the problem whether, given a labelled transition system TS, one can find a Petri net N with an initial marking M0 such that the reachability graph of (N. M0) is isomorphic to TS.
E. Best +3 more
doaj +1 more source
Ordinary Petri Net Matrices [PDF]
ITM Web of Conferences, 2019 This work presents some ideas and theory on representing ordinary Petri nets using matrices and builds on previous work in [11],[12]. The three main types of matrices used for Petri net representation are the input, output and incidence matrices.
Staines Anthony Spiteri
doaj +1 more source
Existence of Forbidden Digraphs for Crisp Boolean Petri Nets [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2020 Boolean Petri net (BPN) and Crisp Boolean Petri net (CBPN) is a well-studied graph model since 2010 which has several applications in mathematical modeling of complex or tricky networks.
Gajendra Pratap Singh +2 more
doaj +1 more source