Академический Документы
Профессиональный Документы
Культура Документы
Fecha de
Unidad
Profesional
entrega
Interdisciplinaria
en Ingeniera
13/09/2016
Profesora:
Snchez Otero Griselda
Equipo:
Dvila Arias Vernica
Martell Chvez Allan
Josu
Solorio Ramrez Jos
Luis
Grupo:
4MM10
OBJETIVO
Obtener una aproximacin al modelo en Redes de Petri Ordinarias para
algn mdulo del Laboratorio CIM (Centro Integrado de Manufactura).
INTRODUCCIN
Por modelo se entiende la representacin mnima de un sistema, existen
diversas clases de modelos, por ejemplo: matemticos, heursticos, lgicos,
grficos, tabulares, mentales.
La etapa de modelado es de gran importancia cuando se refiere a diseo y
construccin de sistemas, en general, se construye un modelo a partir de las
especificaciones de funcionamiento de dicho sistema y de este modelo se pasa a
la etapa de implementacin. Las pruebas efectuadas sobre el modelo
(validacin), las cuales incluyen la simulacin o pruebas formales, nos permiten
detectar problemas de diseo. La aplicacin iterada de pruebas y ajustes al
modelo conducen a un modelo que represente al sistema real y cuya
implementacin ser confiable.
En el caso de sistemas ya existentes, se pueden aplicar diferentes tipos de
anlisis en los que se incluye la simulacin que puede aplicarse al modelo de
dicho sistema para detectar eventuales problemas tales como bloqueos,
acumulacin de material o de informacin, cuellos de botella, recursos no
utilizados, etc. o bien, para obtener informacin sobre el desempeo del sistema
o de una parte de l.
Las redes de Petri han demostrado ser una herramienta muy til en el modelado,
anlisis, simulacin y control de sistemas discretos, ya que capturan las
relaciones de precedencia e interacciones estructurales de eventos asncronos y
concurrentes, adems su naturaleza grfica ayuda a visualizar sistemas
complejos. Los conflictos y el tamao de los almacenes pueden ser modelados de
forma fcil y eficiente. Permiten detectar bloqueos. Los modelos en redes de Petri
representan una herramienta de modelado jerrquica con fundamentos prcticos
y matemticos, tambin pueden ser usados para implementar sistemas de
control en tiempo real para un sistema de manufactura.
DESARROLLO
ACTIVIDAD 1
Del mdulo asignado del Laboratorio CIM, describa el plan de proceso.
FMS-STATION
El sistema a considerar tiene 2 estaciones de maquinado M1 (Fig. 1) y M2 (Fig. 2),
un torno y una fresadora respectivamente, un robot compartido R (Fig. 3) para la
carga y descarga y un conjunto de sensores S.
ACTIVIDAD 2
Del mdulo asignado del Laboratorio CIM, obtenga su modelo en redes de Petri
ordinarias.
Recuerde que debe seguir la metodologa de modelado:
1
En este caso las actividades requeridas son el maquinado (que incluye, carga,
fijacin de la materia prima a la mquina el proceso de transformacin) y
descargar (cargar y descargar)
Los recursos son M1, M2, R, el vagn, la materia prima, etc.
ACTIVIDADES
RECURSOS
Descarga
Maquinado
Materia Prima
Vagn (V)
M1
En general, la transicin final para una actividad ser la misma que la transicin
inicial para la siguiente actividad.
t1
t7
RS
t2
MS1
t5
V1
t3
RS
t4
R3
t6
MS2
Crear y etiquetar un lugar para cada recurso el cual debe de estar disponible
para el inicio de la actividad. Conectar todos los lugares disponibles de recursos
con arcos tal que cada uno entre a las transiciones de inicio para la actividad.
Actividad 3
Una vez realizado lo anterior, escriba la ecuacin de estado del sistema.
l1
l2
l3
l4
l5
l
M 0= 6
l7
l8
l9
l 10
l 11
l 12
l1
l2
l3
l4
l5
l
C= 6
l7
l8
l9
l 10
l 11
l 12
t1 t 2 t 3 t 4 t5 t 6 t7
[] [ ]
1
0
1
0
0
0
0
0
1
1
0
1
-1
1
0
0
0
0
0
0
0
0
0
0
0 0
-1 -1
-1 0
0 -1
1 0
0 1
0 0
0 0
0 0
0 0
0 0
-1 -1
0
0
0
0
-1
0
1
0
-1
0
0
1
0
0
0
0
0
-1
0
1
0
-1
0
1
0 1
0
0
0 0
0 0
0 0
0 0
-1 0
-1 0
1 0
1 0
1 -1
-1 1
t1
t2
t3
V 1=t 4
t5
t6
t7
[]
1
0
0
0
0
0
0
M K +1=M K +CV K
[]
0
1
1
0
0
M 1= 0
0
0
1
1
0
1
V
V1
S1
S2
RS1
RS2
MS1
MS2
M1
M2
R3
R
l1
l2
l3
l4
l5
l6
l7
l8
l9
l10
l11
l12
CUESTIONARIO
Para qu servira el modelo obtenido?
El modelo servira para conocer el funcionamiento del proceso del sistema paso a
paso para obtener los productos finales. Lo que nos permitir en su momento
identificar eventos como la falta de materia prima, la disponibilidad de los
recursos, etc. Todo ello de manera sencilla, gracias a la representacin simple y
grafica del proceso de produccin.
Adicionalmente a partir del modelo y su ecuacin correspondiente nos permite
verificar
que
el
sistema
sea
matemticamente
correcto
segn
las
especificaciones.
CONCLUSIONES
DVILA ARIAS VERNICA
Con la realizacin de esta prctica verificamos la gran utilidad de las redes de
Petri para modelar un proceso a partir de un plan de proceso, esta es una
herramienta o tcnica muy til para especificar sistemas que tienen problemas
con
interrelaciones
que
pueden
presentar
concurrencias,
10
FUENTES CONSULTADAS
Modelado de tareas
con RP (Tesis de maestra)
Departamento de Ingeniera Elctrica, CINVESTAV- IPN, Mxico.
Modeling,
simulation
and
control
of
flexible
manufacturing systems, autores Zhou MengChu, Venkatesh Kurapati,
Editorial: World Scientific
11