Exploració per tema "Xarxes de Petri"
Ara es mostren els items 9-10 de 10
-
Study for the design of a management system for AGV networks
(Universitat Politècnica de Catalunya, 2019-06)
Projecte Final de Màster Oficial
Accés obertAutomated Guided Vehicles are a vital part of the future intelligent manufacturing processes. In order to make the better profit, it is important to study if deadlocks can occur and how to tackle them. In this project we ... -
Verificació de sistemes concurrents basada en Constraint-Programming
(Universitat Politècnica de Catalunya, 2010-07-12)
Projecte/Treball Final de Carrera
Accés obertL'objectiu d'aquest projecte és la verificació de propietats temporals LTL en sistemes concurrents modelats amb xarxes de Petri mitjançant constraint programming.