Results 1 to 10 of about 20,794 (264)
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
MPAT: Modular Petri Net Assembly Toolkit [PDF]
SoftwareXWe present a Python package called Modular Petri Net Assembly Toolkit (MPAT) that empowers users to easily create large-scale, modular Petri Nets for various spatial configurations, including extensive spatial grids or those derived from shapefiles ...
Stefano Chiaradonna +2 more
doaj +2 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
Mathematical Structures in Computer Science, 2020 AbstractThe reachability semantics for Petri nets can be studied using open Petri nets. For us, an “open” Petri net is one with certain places designated as inputs and outputs via a cospan of sets. We can compose open Petri nets by gluing the outputs of one to the inputs of another. Open Petri nets can be treated as morphisms of a category Open(Petri),
John C. Baez, Jade Master
openaire +2 more sources
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
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
doaj +1 more source