Results 1 to 10 of about 3,623,730 (230)
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 +2 more sources
On the Equivalence of Observation Structures for Petri Net Generators [PDF]
IEEE Transactions on Automatic Control, 2016 Observation structures considered for Petri net generators usually assume that the firing of transitions may be observed through a static mask and that the marking of some places may be measurable.
Yin Tong, Zhiwu Li, A. Giua
semanticscholar +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
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
A dynamic Petri net model for iterative and interactive distributed multimedia presentation [PDF]
, 2005 Object Composition Petri Nets (OCPN), Priority Petri Nets (P-Net), Dynamic OCPN (DOCPN) and Enhanced P-Nets (EP-Net) have extended the original Petri Net to achieve the modeling of media synchronization and asynchronous user interactions during ...
Roger Thomas K C Tan, Sheng-Uei Guan
openalex +3 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