Results 1 to 10 of about 145,352 (236)
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 +3 more sources
Extracting Petri Modules From Large and Legacy Petri Net Models [PDF]
IEEE Access, 2020 Petri nets, even though very useful for modeling of discrete event systems, suffer from some weaknesses such as huge size, huge state space, and slow in simulation. Due to the huge state space, model checking a Petri net is difficult.
Reggie Davidrajuh
doaj +2 more sources
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
PetriScape - A plugin for discrete Petri net simulations in Cytoscape
Journal of Integrative Bioinformatics, 2016 Systems biology plays a central role for biological network analysis in the post-genomic era. Cytoscape is the standard bioinformatics tool offering the community an extensible platform for computational analysis of the emerging cellular network together
Almeida Diogo +3 more
doaj +3 more sources
MPAT: Modular Petri Net Assembly Toolkit. [PDF]
SoftwareXChiaradonna S, Jevtić P, Sterner B.
europepmc +2 more sources
Petri Net modeling of thiamine diphosphate biosynthesis in <i>Mycobacterium tuberculosis</i> H37Rv. [PDF]
BioinformationSiddiqui MA +7 more
europepmc +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
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