lunes, 22 de octubre de 2012

Red Petri

Buenas para esta semana haremos lo que se llama Red de Petri

Una Red de Petri es una simulación de un sistema, con eventos de forma paralela, concurrente o de manera distribuida, puede ser representada tanto matemáticamente o gráficamente.

Estos sistemas por lo general están compuestos por:

Transiciones: Estas Transiciones están unidas por lo general a dos lugares o mas.
Lugares:  Son los estados del sistema.
Marcas: Representación de los objetos dentro de los lugares.


El sistema a simular es el uso de ventiladores de enfriamiento de "x" compañía
Contenido del sistema:

Ventilador1
Ventilador2
Ventilador3

Cada uno tendrá sus tres estados de prendidos
Prendido1 para el Ventilador1
Prendido2 para el Ventilador2
Prendido3 para el Ventilador3

El "Ventilador 1" estará prendido durante un período de tiempo y se apagará. Pasando el mismo tiempo volverá a funcionar.

El "Ventilador 2" estará prendido hasta cierto punto de calentamiento y regresará al trabajo cuando este frió nuevamente.

El "Ventilador 3" estará prendido solo si los primeros dos Ventiladores están apagados y este se apagará cuando uno de los otros dos regresen a funcionar.

Los demás estados

Apagado: Como su nombre lo indica, es el estado de apagado para los tres ventiladores

Descompuesto, Como su nombre indica es para representación de los ventiladores que ya no funcionan o no son operacionables.

Este sistema lo representamos con Python-snakes, esta librería es útil para formar diferentes redes de petri:

Aquí el código:


Aquí la imagen que nos genera:

Los cuadros son las diferentes transiciones  y los ovalos son los diferentes estados.

Refenrecias:
http://www.uhu.es/diego.lopez/AI/auto_trans-tema3.PDF
http://es.wikipedia.org/wiki/Red_de_Petri
Tutorial donde me base para hacer el código de python: TUTO




1 comentario:

  1. Muy extraño el modelo y no tiene concurrencia. Van 6 pts.

    ResponderEliminar