Results 1 to 10 of about 4,382 (153)
Research on Structural Liveness Determination of Conflict-Free Petri Net [PDF]
Jisuanji gongcheng, 2021 As a key structural property of Petri nets,the structural liveness plays an important role in the studies of determination of Petri net liveness.This paper considers the influence of directed loops on the structural liveness of Petri nets,and makes a ...
XU Yinglei, MA Bingxian
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 +2 more sources
MODELING OF BIOMETRIC IDENTIFICATION SYSTEM USING THE COLORED PETRI NETS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2015 In this paper we present a model of biometric identification system transformed into Petri Nets. Petri Nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems.
G. R. Petrosyan +2 more
doaj +1 more source
CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
Моделирование и анализ информационных систем, 2012 Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “netswithin-nets” approach, when tokens in a marking are Petri nets, which have an autonomous behavior and are synchronized with the system net.
L. W. Dworza´nski, I. A. Lomazova
doaj +3 more sources
ELECTRICAL CIRCUIT MODELLING WITH PETRI NET BY USING OF CONTROL ARCS [PDF]
مجله مدل سازی در مهندسی, 2014 The continuous Petri net is a model in which the number of marks in the places are real numbers instead of integers. This kind of Petri Nets is useful for modeling of systems that have one flux variable.
abbas Dideban, meghdad Sabouri Rad
doaj +1 more source
TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays [PDF]
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 2016 Performance analysis can be carried out in several ways, especially in case of Markovian models. In order to interpret high level of abstraction, we often use modeling tools like timed Petri nets (TPNs). Although some subclasses of TPNs (e.g.
Ádám Horváth, András Molnár
doaj +1 more source
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
Моделирование и анализ информационных систем, 2012 A technique of the computing grid verification using invariants of infinite Petri nets was presented. Models of square grid structures in the form of parametric Petri nets for such edge conditions as connection of edges and truncated devices were ...
D. A. Zaitsev
doaj +3 more sources
Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification
Труды Института системного программирования РАН, 2018 Nested Petri nets (NP-nets) have proved to be one of the convenient formalisms for distributed multi-agent systems modeling and analysis. It allows representing multi-agent systems structure in a natural way, since tokens in the system net are Petri nets
V. O. Ermakova, I. A. Lomazova
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
Help students learn interpreted Petri nets with Minecraft
Informatics in Education, 2022 Background: Petri nets are a formal specification technique for modelling of control processes and modern flexible manufacturing systems. Interpreted Petri nets take into account input and output signals, allowing to apply them in any control system or ...
Iwona Grobelna +2 more
doaj +1 more source