Results 11 to 20 of about 262,073 (323)
The Reachability Problem for Petri Nets Is Not Elementary [PDF]
Journal of the ACM, 2018 Petri nets, also known as vector addition systems, are a long established model of concurrency with extensive applications in modeling and analysis of hardware, software, and database systems, as well as chemical, biological, and business processes.
Wojciech Czerwinski +4 more
semanticscholar +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
A Petri Nets Model for Blockchain Analysis [PDF]
Computer/law journal, 2017 A Blockchain is a global shared infrastructure where cryptocurrency transactions among addresses are recorded, validated and made publicly available in a peer- to-peer network. To date the best known and important cryptocurrency is the bitcoin.
A. Pinna +3 more
semanticscholar +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
Catalytic and communicating Petri nets are Turing complete [PDF]
, 2014 In most studies about the expressiveness of Petri nets, the focus has been put either on adding suitable arcs or on assuring that a complete snapshot of the system can be obtained.
Ciobanu, G, Pinnam GM
core +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
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
Известия высших учебных заведений. Поволжский регион:Технические науки, 2023 Background. A technique for deep knowledge structuring in a semantic-oriented intelligent computing environment based on the expansion of the descriptive capabilities of Petri nets by integrating them with conceptual graphs is proposed.
V.I. Volchikhin +3 more
doaj +1 more source