Results 11 to 20 of about 29,350 (298)
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
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
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
Colored Petri nets for Modeling Processes of Biometric Identification System [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information SciencesThe article discusses some issues of modeling and digitalization of real-time systems using Petri nets (Petrosyan et al., 2025). The identification and secret key generation system is modeled using the Colored Petri net, which is a modern extension of ...
G. Petrosyan +4 more
doaj +1 more source
XML format for notation of object-oriented Petri net
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2007 Petri nets provide executive facilities for simulation of causality, non-determinism and parallelism in discreet systems. Since they are a mathematical model in substance, they offer theory, which can be successfully used to verification of models ...
Petr Jedlička
doaj +1 more source
A Small Universal Petri Net [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 A universal deterministic inhibitor Petri net with 14 places, 29 transitions and 138 arcs was constructed via simulation of Neary and Woods' weakly universal Turing machine with 2 states and 4 symbols; the total time complexity is exponential in the ...
Dmitry A. Zaitsev
doaj +1 more source
Analyzing the Behavior of Neuronal Pathways in Alzheimer's Disease Using Petri Net Modeling Approach. [PDF]
Front Neuroinform, 2018 Ashraf J, Ahmad J, Ali A, Ul-Haq Z.
europepmc +2 more sources
PEMBELAJARAN MATEMATIKA TERAPAN DENGAN MODEL PETRI NET DAN MATRIKS
Edu Sains: Jurnal Pendidikan Sains dan Matematika, 2018 Penelitian ini bertujuan untuk mengetahui model petri net dan matriks dari suatu permasalahan yang ada disekitar kita. Salah satunya adalah masalah antrian. Kita dapat memanfaatkan pembelajaran matematika untuk membuat model sistemnya.
Ruvita Iffahtur Pertiwi
doaj +1 more source
IEEE Access, 2017 This paper presents a new method of computing a minimal supervisory structure that optimally enforces liveness on the Petri net models for flexible manufacturing systems (FMSs).
Muhammad Bashir +6 more
doaj +1 more source