Interfaz de usuario para un simulador de redes de Petri coloreadas

Aquest projecte presenta el desenvolupament d'una interficie d'usuari que permet visualitzar i interpretar, en forma de text o en forma gràfica, els resultats de la simulació de models de Xarxes de Petri Acolorides (XPAs). L'estudi de les solucions obtingudes mitjançant la simulació de models de XPAs, permetrà analitzar i evaluar tant el comportament com el rendiment del sistema modelat. La interficie ha estat programada en Visual C++.

Traductor de especificaciones XML de redes de Petri coloreadas a un lenguaje para la resolución de problemas de optimización

Este proyecto presenta el desarrollo de una aplicación que permite traducir Redes de Petri Coloreadas diseñadas en CPN Tools a un lenguaje para la generación de ficheros de entrada a un simulador/optimizador de Redes de Petri Coloreadas. De esta manera se podrán optimizar modelos creados en CPN Tools ya que esta herramienta no facilita la optimización. Todo el proyecto se ha realizado en C++.

Using petri nets to specify and execute missions for autonomous underwater vehicles

This paper presents the design and implementation of a mission control system (MCS) for an autonomous underwater vehicle (AUV) based on Petri nets. In the proposed approach the Petri nets are used to specify as well as to execute the desired autonomous vehicle mission. The mission is easily described using an imperative programming language called mission control language (MCL) that formally describes the mission execution thread. A mission control language compiler (MCL-C) able to automatically translate the MCL into a Petri net is described and a real-time Petri net player that allows to execute the resulting Petri net onboard an AUV are also presented

A Petri Nets-based Scheduling Methodology forMultipurpose Batch Plants.

This article presents an optimization methodology of batch production processes assembled by shared resources which rely on a mapping of state-events into time-events allowing in this way the straightforward use of a well consolidated scheduling policies developed for manufacturing systems. A technique to generate the timed Petri net representation from a continuous dynamic representation (Differential-Algebraic Equations systems (DAEs)) of the production system is presented together with the main characteristics of a Petri nets-based tool implemented for optimization purposes. This paper describes also how the implemented tool generates the coverability tree and how it can be pruned by a general purpose heuristic. An example of a distillation process with two shared batch resources is used to illustrate the optimization methodology proposed.

Models de simulació per coordinar serveis d'emergència

El projecte exposat té com a propòsit definir i implementar un model de simulació basat en la coordinació i assignació dels serveis d’emergència en accidents de trànsit. La definició del model s’ha realitzat amb l’ús de les Xarxes de Petri Acolorides i la implementació amb el software Rockwell Arena 7.0. El modelatge de la primera simulació ens mostra un model teòric basat en cues mentre que el segon, mostra un model més complet i real gràcies a la connexió mitjançant la plataforma Corba a una base de dades amb informació geogràfica de les flotes i de les rutes. Com a resultat de l’estudi i amb l’ajuda de GoogleEarth, podem realitzar simulacions gràfiques per veure els accidents generats, les flotes dels serveis i el moviment dels vehicles des de les bases fins als accidents.

Eticket : gestió d'esdeveniments i venda d'entrades online

Avui dia, la gestió d’esdeveniments online i la seva promoció és un mercat creixent gràcies a l’evolució de la web 2.0 i a les xarxes socials. Ticketmaster és el referent, tot i així, no existeix una oferta clara per gestionar la venda d’entrades d’esdeveniments d’una mida petita o mitjana i que aprofiti les xarxes socials i la integració d’aplicacions que aquestes proporcionen. L’objectiu és realitzar una aplicació web on els usuaris (propis o de Facebook) puguin crear esdeveniments, publicar-los i promocionar-los a les xarxes socials, així com gestionar les tasques i característiques relacionades com la venda d’entrades i la llista de convidats.

Metodología para la resolución de problemas de optimización

El presente proyecto tiene como objetivo evaluar una metodología para la resolución de problemas de optimización. Para ello se utiliza el formalismo de modelado de Redes de Petri Coloreadas para representar un Sistema de Eventos Discretos, que describirá el problema de optimización a resolver. El caso de estudio a optimizar en este proyecto se conoce como Tiempo de Tránsito de Pasajeros, y se define como el tiempo que tarda un pasajero con escalas en recorrer el trayecto que va desde la puerta de embarque de llegada hasta la puerta de embarque de salida asignada.

Mission control system for dam inspection with an AUV

This paper presents a complete control architecture that has been designed to fulfill predefined missions with an autonomous underwater vehicle (AUV). The control architecture has three levels of control: mission level, task level and vehicle level. The novelty of the work resides in the mission level, which is built with a Petri network that defines the sequence of tasks that are executed depending on the unpredictable situations that may occur. The task control system is composed of a set of active behaviours and a coordinator that selects the most appropriate vehicle action at each moment. The paper focuses on the design of the mission controller and its interaction with the task controller. Simulations, inspired on an industrial underwater inspection of a dam grate, show the effectiveness of the control architecture

Precisions sobre la determinació de la fracció argila a sediments i sòls arenosos

Es proposen uns milloraments en la metodologia classica de determinació qualitativa dels minerals de la fraccio argila en sediments i sbls sorrencs. L'extraccioconstade: garbellament de la mostra amb un garbelladorde2 mmde pas; eliminacio de la materia organica amb aigua oxigenada; centnfugacio a 6.000 r. p. m.; garbellament en humit per 0,2 mm, agitamenc dispersio amb calgon; decantacio i sifonat; centrifugació i desecacio. Nova dispersio per a la preparacio d'agregats onentats i sedimentacio sobre els «portes» dins de plaques de Petri. Aixi queden a punt d'obtenir els diagrames roentgen. Per I'espectroscbpia de raigs infrarojos, es dispersen les mostres i, a més de les mostres «normals», es tracten amb malaquita o bencidina. Diferents exemples il.lustren el treball.