Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Petri nets"

Mostrando ítems 1-9 de 9

Combining simheuristics with Petri nets for solving the stochastic vehicle routing problem with correlated demands

Latorre-Biel, Juan I.; Ferone, Daniele; Juan, Angel A.; Faulin, Javier (Elsevier, 2021-04-15)

[EN] This paper analyzes a stochastic version of the vehicle routing problem in which customers' demands are not only stochastic but also correlated. In order to solve this stochastic and correlated optimization problem, ...
Diagnosis of Intermittent Faults in IGBTs Using the Latent Nestling Method with Hybrid Coloured Petri Nets

Rodríguez Urrego, Leonardo; García Moreno, Emilio; Quiles Cucarella, Eduardo; Correcher Salvador, Antonio; Morant Anglada, Francisco José; Piza, Ricardo (Hindawi Publishing Corporation, 2015)

This paper presents a fault diagnosis application of the Latent Nestling Method to IGBTs. The paper extends the Latent Nestling Method based in Coloured Petri Nets (CPNs) to hybrid systems in such a manner that IGBTs ...
Generating a Petri net from a CSP specification: a semantics-based method

Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Elsevier, 2012)

[EN] The specification and simulation of complex concurrent systems is a difficult task due to the intricate combinations of message passing and synchronizations that can occur between the components of the system. Two of ...
Implementación de Supervisores en una Arquitectura de Referencia Basadas en Sistemas de Manufactura Holónicos

Chacón, E.; Indriago, M. (Universitat Politècnica de València, 2010-07-09)

[ES] La Arquitectura de Integración para la Automatización de Complejos de Producción es una arquitectura de referencia basada en sistemas de manufacturas holónicos que divide los procesos en unidades de producción. Cada ...
Implementación del Control en Planta de un Centro de Distribución Automatizado mediante Agentes Físicos y RFID

de las Morenas, Javier; García, Andrés; Martínez, Fernando; García Ansola, Pablo (Universitat Politècnica de València, 2015-01-11)

[ES] En la última década, la aplicación de la tecnología de sistemas multiagente para el control en planta ha generado gran expectación por parte de profesionales e investigadores. El uso de esta tecnología, por la propia ...
Planificación de trayectorias en sistemas multirobot utilizando redes de Petri. Resultados y problemas abiertos

Mahulea, C.; González, R.; Montijano, E.; Silva, M. (Universitat Politècnica de València, 2020-12-23)

[EN] This paper presents a trajectory planning approach in multirobot systems based on Petri net models. This type of models is very useful for high-level specifications since, in this case, the classical planning methods ...
Redes de Petri Continuas: Expresividad, Análisis y Control de una Clase de Sistemas Lineales Conmutados

Silva, M.; Recalde, L. (Universitat Politècnica de València, 2009-12-02)

[ES] Gracias a la existencia de potentes teorías de análisis y síntesis, así como a su directa representabilidad gráfica, las redes de Petri constituyen uno de los formalismos más aceptados en las aplicaciones de ingeniería ...
Slicing Techniques Applied to Concurrent Languages

Tamarit Muñoz, Salvador (Universitat Politècnica de València, 2011-11-28)

In this thesis are presented different program slicing techniques for two concurrent languages: CSP and Petri Nets. As for CSP, two static slices are introduced, using both a new kind of graph. Furthermore, their implementation ...
Supervisión de sistemas lógicos de control utilizando el diagrama de evolución del estado

Gómez, Daniel; Baeyens, Enrique; Cárdenas, Clemente; Moya, Eduardo J. (Elsevier, 2011-07-10)

[EN] The current manufacturing systems are controlled and monitored by programmable logic controllers. The analysis and maintenance of a control program is a very complex task due to its size measured either by the number ...