Results 1 to 10 of about 64,312 (198)
Mathematical Structures in Computer Science, 2019 The 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.
Baez, John C., Master, Jade
core +2 more sources
CoRR, 2013 A new graphical framework, Abridged Petri Nets (APNs) is introduced for bottom-up modeling of complex stochastic systems. APNs are similar to Stochastic Petri Nets (SPNs) in as much as they both rely on component-based representation of system state ...
Volovoi, Vitali
core +2 more sources
Analysis of Petri Nets and Transition Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper describes a stand-alone, no-frills tool supporting the analysis of (labelled) place/transition Petri nets and the synthesis of labelled transition systems into Petri nets.
Eike Best, Uli Schlachter
doaj +4 more sources
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
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