Results 11 to 20 of about 20,698 (215)
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
Extracting Petri Modules From Large and Legacy Petri Net Models
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 +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
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
A Cyber–Physical Systems-Based Double-Layer Mapping Petri Net Model for Factory Process Flow Control
Applied Sciences, 2023 This study is concerned with the imperfect virtual-reality mapping relationship in cyber–physical systems (CPSs) and the challenge faced in knowledge-based decisions. Regarding those problems, a double-layer mapping Petri net (DMPN) model is proposed. By
Yuhai Yang, Xiaodong Liu, Wei Lu
doaj +1 more source
Journal of Marine Science and Engineering, 2023 The purpose of this study is to show how coloured Petri nets can be used to select the crossing rules guaranteeing that two ships avoid collisions at sea in accordance with the international regulations on this matter.
Vladimir Brozovic +3 more
doaj +1 more source
PN2Maude: An automatic tool to generate Maude specification for Petri net models [PDF]
Computer Science Journal of Moldova, 2023 Currently, Model-Driven Engineering (MDE) plays a key role in the software development process as it aims to handle their increasing complexity and focuses on the automatic generation of code and/or specifications from system models.
Ammar Boucherit +3 more
doaj +1 more source