Now showing items 1-10 of 22
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
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, 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)
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 ...
Modeling of Distributed Control Systems in Intelligent Building based on Colored Petri Nets
(IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2010)
Distributed control systems consist of sensors, actuators and controllers, interconnected by communication networks and are characterized by a high number of concurrent process. This work presents a proposal for a procedure ...