Ara es mostren els items 7-10 de 10

    • Modelización y Programación de una Célula de Control Flexible mediante el Empleo de Redes de Petri 

      Ramírez Alcaraz, Miguel Ángel (Universitat Politècnica de Catalunya, 2010-06)
      Projecte/Treball Final de Carrera
      Accés obert
      En el presente documento se explora la utilidad de las Redes de Petri a la hora de modelar y diseñar el software de control en los sistemas de fabricación que se encuentran gobernados por controladores lógicos programables. El ...
    • Parallel complexity in the design and analysis of concurrent systems 

      Álvarez Faura, M. del Carme; Balcázar Navarro, José Luis; Gabarró Vallès, Joaquim (1990-10)
      Report de recerca
      Accés obert
      We study the parallel complexity of three problems on concurrency: decision of firing sequences for Petri nets, trace equivalence for partially commutative monoids, and strong bisimilarity in finite transition systems. We ...
    • Study for the design of a management system for AGV networks 

      Hu, Daniel Lijia (Universitat Politècnica de Catalunya, 2019-06)
      Projecte Final de Màster Oficial
      Accés obert
      Automated 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 

      Royuela Alcazar, Josep Maria (Universitat Politècnica de Catalunya, 2010-07-12)
      Projecte/Treball Final de Carrera
      Accés obert
      L'objectiu d'aquest projecte és la verificació de propietats temporals LTL en sistemes concurrents modelats amb xarxes de Petri mitjançant constraint programming.