Results 21 to 30 of about 262,073 (323)

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

Evolving concurrent Petri net models of epistasis [PDF]

, 2010
A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational models of concurrent processes.
Beretta, Lorenzo, Mayo, Michael
core   +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

Event structures for Petri nets with persistence [PDF]

, 2018
Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri.
Baldan, Paolo, Bruni, Roberto, Corradini, Andrea, Gadducci, Fabio, Melgratti, Hernan, Montanari, Ugo   +5 more
core   +4 more sources

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ý, Karel Richta, Tomáš Richta   +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 , Al-Ahmari, Abdulrahman, El-Tamimi, Abdulaziz M., Nasr, Emad Abouel , Li, Zhiwu   +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, Bozena Skolud, Damian Krenczyk   +2 more
doaj   +1 more source

A simulation of synchronized curriculum for IT-specialist training based on Petri nets

Освітній вимір, 2022
In this study, the issues of contemporary IT specialists training in terms of constant innovation and rapid expansion of computing are examined in the context of synchronized curriculum shaping.
Lyudmyla I. Bilousova, Liudmyla E. Gryzun   +1 more
doaj   +1 more source

Mapping Petri Nets onto a Calculus of Context-Aware Ambients

Software
Petri 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, Vasileios Germanos, Wen Zeng   +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