Buscar
Mostrando ítems 1-10 de 49
Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry
(PERGAMON-ELSEVIER SCIENCE LTD, 2011)
This paper proposes a mixed validation approach based on coloured Petri nets and 3D graphic simulation for the design of supervisory systems in manufacturing cells with multiple robots. The coloured Petri net is used to ...
Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm
(2012-12-01)
This paper presents an application to traffic lights control in congested urban traffic, in real time, taking as input the position and route of the vehicles in the involved areas. This data is obtained from the communication ...
Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm
(2012-12-01)
This paper presents an application to traffic lights control in congested urban traffic, in real time, taking as input the position and route of the vehicles in the involved areas. This data is obtained from the communication ...
Modelagem de sistemas de manufatura usando Redes de Petri Coloridas Fuzzy focando a solução de conflitos
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2010-06-29)
A Flexible Manufacturing System is a production system where more than one event can occur simultaneously in parallel, asynchronously or concurrently. These are designed to meet the needs of the market, demand for improved ...
Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Engenharia ElétricaAutomação e Sistemas; Engenharia de Computação; Telecomunicações, 2005-09-02)
A SysML profile for smart city applications
(Pós-Graduação em Ciência da ComputaçãoUniversidade Federal de Sergipe, 2021)
Modelling search engines performance using coloured petri nets
(IOS PRESS, 2014)
This paper proposes using Coloured Petri Nets to model performance of vertical search engines for Web search. In such systems, queries submitted by users or client systems are handled by different components implemented ...