Search
Now showing items 1-10 of 698
Propuesta de modelo de intersecciones de tránsito utilizando redes de Petri difusas adaptativas.
(2015-05-11)
A medida que se avanza en el desarrollo de la ciudad, aumenta el número de vehículos, accidentes y congestión
proporcionalmente. Un sistema de tráfico vehicular se comporta como un sistema a eventos discretos; y debido
a ...
Consideraciones para el modelado de sistemas mediante Redes de Petri
(Ciencia e Ingeniería, 2010)
Redes de Petri coloridas no auxílio à composição de equipes multidisciplinares
(Universidade Federal de Santa MariaCentro de Artes e Letras, 2010)
This study aims to find subsidies in a research about Petri nets, in
particular the colored Petri nets, to assist the composition of multidisciplinary
teams. To formalize the research was used a modeling and simulation ...
IP Core for Timed Petri Nets
(2013)
In this article, we present a Timed Petri Nets Processor which can be directly programmed using Petri Nets formalism vectors and matrixes. This processor can leverage the power of Petri Nets for modeling real-time ...
Redução automatizada de redes de petri baseada em algoritmos genéticos
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2014-06-26)
Petri Net (PN) is a graphical mathematical tool used to create models that provide a formal specification of systems, creating the possibility of running behavior analysis and property verification. PN models can be used ...
A Petri Net Model of Argumentation Dynamics
(Springer, 2014-09)
Petri nets are a mathematical modelling tool suitable for describing dynamic computational systems. In this work we present a formalization of abstract argumentation frameworks using Petri nets, where arguments and ...
Modelagem de uma planta didática industrial através de rede de Petri
(Universidade Tecnológica Federal do ParanáCornelio ProcopioBrasilEngenharia de Controle e AutomaçãoUTFPR, 2017-06-13)
The present work consists of a study of the decision-making of the industrial didactic plant SMAR for the modeling in Petri Net representing graphically the structure for systems to discrete events. The SMAR didactic plant ...
Uma abordagem para a modelagem e simulação de processos de negócio baseada nas redes de Petri estocásticas e redes de Petri contínuas temporizadasAn approach to modeling and simulation of business processes based on stochastic Petri nets and continuous timed Petri nets
(Universidade Federal de UberlândiaBrasilCiência da Computação, 2018)