Results 11 to 20 of about 4,382 (153)
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
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
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
Information Systems Development with the Help of Petri Nets [PDF]
Vietnam Journal of Computer Science, 2020 Many present software systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that ...
Jaroslav Pokorný +2 more
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
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
Time Delays in Membrane Systems and Petri Nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Timing aspects in formalisms with explicit resources and parallelism are investigated, and it is presented a formal link between timed membrane systems and timed Petri nets with localities.
Bogdan Aman, Gabriel Ciobanu
doaj +1 more source
Mapping Petri Nets onto a Calculus of Context-Aware Ambients
SoftwarePetri nets are a graphical notation for describing a class of discrete event dynamic systems whose behaviours are characterised by concurrency, synchronisation, mutual exclusion and conflict.
François Siewe +2 more
doaj +1 more source
On Categories of Fuzzy Petri Nets
Advances in Fuzzy Systems, 2011 We introduce the concepts of fuzzy Petri nets and marked fuzzy Petri nets along with their appropriate morphisms, which leads to two categories of such Petri nets. Some aspects of the internal structures of these categories are then explored, for example,
Arun K. Srivastava, S. P. Tiwari
doaj +1 more source