Results 11 to 20 of about 64,411 (297)
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
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
Elasticity and Petri Nets [PDF]
, 2008 Digital electronic systems typically use synchronous clocks and primarily assume fixed duration of their operations to simplify the design process. Time elastic systems can be constructed either by replacing the clock with communication handshakes (asynchronous version) or by augmenting the clock with a synchronous version of a handshake (synchronous ...
Cortadella, Jordi +4 more
openaire +3 more sources
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
Wadge Degrees of $\omega$-Languages of Petri Nets [PDF]
, 2018 We prove that $\omega$-languages of (non-deterministic) Petri nets and $\omega$-languages of (non-deterministic) Turing machines have the same topological complexity: the Borel and Wadge hierarchies of the class of $\omega$-languages of (non ...
Finkel, Olivier
core +2 more sources
Modelling epistasis in genetic disease using Petri nets, evolutionary computation and frequent itemset mining [PDF]
, 2010 Petri nets are useful for mathematically modelling disease-causing genetic epistasis. A Petri net model of an interaction has the potential to lead to biological insight into the cause of a genetic disease.
Beretta, Lorenzo, Mayo, Michael
core +2 more sources
Fuzzy output system on the basis of the modified fuzzy Petri nets [PDF]
E3S Web of Conferences, 2020 The development of information technologies requires improvement of simulation methods and mathematical apparatus. The mathematical apparatus of Petri nets is used for simulation of parallel asynchronous systems and has a broad scope.
Kochkin Dmitry, Sukonschicov Aleksei
doaj +1 more source
Modelling and controlling traffic behaviour with continuous Petri nets [PDF]
, 2005 Traffic systems are discrete systems that can be heavily populated. One way of overcoming the state explosion problem inherent to heavily populated discrete systems is to relax the discrete model.
Boel, René, JULVEZ, J
core +2 more sources