Results 1 to 10 of about 145,993 (337)
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
Modelling epistasis in genetic disease using Petri nets, evolutionary computation and frequent itemset mining [PDF]
, 2010 Petri nets are useful for mathematically modelling disease-causing genetic epistasis. A Petri net model of an interaction has the potential to lead to biological insight into the cause of a genetic disease.
Beretta, Lorenzo, Mayo, Michael
core +2 more sources
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
Mathematics base for navigation mobile robot using reachability petri net [PDF]
, 2018 Navigation is the journey that brings the precision and accuracy especially for the trip from one place to many destinations. Traveling mobile robot will be challenged when there are plenty of travel options and obstacles; it is necessary for special ...
Basil David Daniel, Basil David Daniel +4 more
core +1 more source
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