Results 1 to 10 of about 27,520 (197)
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
Automatic construction of Petri net models for computational simulations of molecular interaction network [PDF]
npj Systems Biology and ApplicationsPetri nets are commonly applied in modeling biological systems. However, construction of a Petri net model for complex biological systems is often time consuming, and requires expertise in the research area, limiting their application.
Xuefei Lin +4 more
doaj +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
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 +4 more sources
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
A Congruence for Petri Nets [PDF]
Electronic Notes in Theoretical Computer Science, 2005 AbstractWe introduce a way of viewing Petri nets as open systems. This is done by considering a bicategory of cospans over a category of p/t nets and embeddings. We derive a labelled transition system (LTS) semantics for such nets using GIPOs and characterise the resulting congruence. Technically, our results are similar to the recent work by Milner on
Sassone, V., Sobocinski, P.
openaire +3 more sources
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
Dynamic Slicing of Time Petri Net Based on MTL Property
IEEE Access, 2022 The time Petri net (TPN) is a powerful tool for modeling, simulating, and verifying real-time systems. Unfortunately, the state spaces of the time Petri net grow exponentially due to the complexity of real-time systems.
P. Chariyathitipong, W. Vatanawood
doaj +1 more source