Results 11 to 20 of about 4,712 (265)
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
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
A class of generalized Petri nets and its state equation
Advances in Mechanical Engineering, 2017 By analyzing the evolution nature of a Petri net, this article reports a generalized state equation for Petri nets, including Petri nets with inhibitor and enabling arcs.
Rongming Zhu, Ya Zhang, Lan Yang
doaj +1 more source
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
Information and Computation, 1990 A new definition of place/transition Petri nets as graphs with the operation of parallel and sequential composition on the transitions is given. New morphisms, relating system description at different level of abstractions, and new constructions, like function space for Petri nets, are defined.
MESEGUER J +1 more
openaire +2 more sources
Вестник Самарского государственного технического университета. Серия: Технические науки, 2022 The presented review analyzes the approaches and methods of using simulation models in the maintenance and repair organization of the complex technical objects and systems.
Sergey P. Orlov, Sergey V. Susarev
doaj +1 more source
DESIGN AND IMPLEMENTATION OF DEADLOCK CONTROL FOR AUTOMATED MANUFACTURING SYSTEMS
South African Journal of Industrial Engineering, 2019 Petri nets are robust mathematical tools for the modelling, handling, and control of deadlock problems in automated manufacturing systems (AMSs). Several methods have been proposed to prevent deadlocks in AMSs.
Kaid, Husam +4 more
doaj +1 more source
, 1997 We introduce a subclass of Valk's self-modifying nets. The considered nets appear as statified sums of ordinary nets and they arise as a counterpart to cascade products of automata via the duality between automata and nets based on regions in automata.
Badouel, Eric, Darondeau, Philippe
openaire +3 more sources
Performance Evaluation of Discrete Event Systems with GPenSIM
Computers, 2018 Petri nets are a useful tool for the modeling and performance evaluation of discrete event systems. Literature reveals that the Petri Net models of real-world discrete event systems are most frequently event graphs (a subclass of Petri nets).
Reggie Davidrajuh +2 more
doaj +1 more source