Results 1 to 10 of about 262,073 (323)
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
semanticscholar +5 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 +6 more sources
Deadlock analysis and control based on Petri nets: A siphon approach review
Advances in Mechanical Engineering, 2017 Deadlocks should be eliminated in highly automated manufacturing systems since their occurrence implies the stoppage of the whole or partial system operation.
YiFan Hou, Kamel Barkaoui
doaj +2 more sources
The Reachability Problem for Petri Nets is Not Primitive Recursive [PDF]
IEEE Annual Symposium on Foundations of Computer Science, 2021 We present a way to lift up the Tower complexity lower bound of the reachability problem for Petri nets to match the Ackermannian upper bound closing a long standing open problem.
Jérôme Leroux
semanticscholar +1 more source
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
Discovering Object-centric Petri Nets [PDF]
Fundamenta Informaticae, 2020 Techniques to discover Petri nets from event data assume precisely one case identifier per event. These case identifiers are used to correlate events, and the resulting discovered Petri net aims to describe the life-cycle of individual cases. In reality,
Wil M.P. van der Aalst, A. Berti
semanticscholar +1 more source
Challenges in Application of Petri Nets in Manufacturing Systems
Electronics, 2021 Petri nets are a useful mathematical formalism for specification of manufacturing systems, supported by various analysis and verification methods. The progress made in automating control systems and the widespread use of Industry 4.0 pose a number of ...
I. Grobelna, A. Karatkevich
semanticscholar +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