UNIVERSIDAD PRIVADA

ANTENOR ORREGO

ESCUELA PROFESIONAL:
INGENIERA INDUSTRIAL

CURSO:
INGENIERIA DE LA INFORMACION

PROFESOR:
Ing. GONZALEZ HERRERA ELMER

INTEGRANTES:
-

Segura Cspedes Cristian David

Rodrguez Gonzales Aarn
Hoyos Santilln Kevin
Urquiaga Abanto Jampier

2014

TITULO
MODELADO DE PETRI DEL SISTEMA DEL RESTAURANTE ESTANCIA
MUCHIK

INTRODUCCION
El problema que encontramos en el restaurante es que nadie conoca como
realmente funcionaba el sistema.
Como alumnos estudiantes de la escuela de ingeniera industrial, y queriendo
poner en prctica el diagrama de Petri. En el presente trabajo se model las
actividades que se llevan a cabo en el restaurante en estudio.
Con ayuda del software WOPED logramos modelar e interpretar las secuencias
entre las diferentes transiciones y lugares, Logrando entender al Sistema.

Mtodo y Materiales
Mtodo:
Escogimos para desarrollar este trabajo es modelado de Petri, el cual no ayuda
a modelar el comportamiento y la estructura de un sistema.
PLACE (lugar):
-

Platos vacos
Espera
Plato en preparacin
Comiendo
Caja
Tarjeta de crdito
Contado

Transiciones:
-

Hacer pedido
Verificar stock
Servir plato
Pedir cuenta.
Forma de pago
POD
Realizar pago

Materiales:
Software WOPED 3.1.0:
WoPeD (Workflow Petri Net Designer) o Diseador de Flujo de Control de Redes
de Petri (en espaol).
Es un programa de cdigo abierto desarrollado bajo la licencia LGPL, cuya
principal idea es proveer una herramienta de modelado sencilla de usar para
simular y analizar el flujo de control de procesos y descripcin de recursos
utilizando redes de control de flujo, una extensin de las Redes de Petri
introducida por Wil van der Aalst (TU Eindhoven).
WoPeD est creado para ser usado por investigadores, docentes o estudiantes
que se encuentran trabajando con la aplicacin de las redes de Petri en el rea
de control de flujo o gestin de procesos de negocios. La siguiente imagen
muestra un modelo y herramientas que presenta este software.

RESULTADOS
M(1,0,0,0,0,0,0)

2
3

M(0,1,0,0,0,0,0)

M(0,0,1,0,0,0,0)

M(0,0,0,1,0,0,0)

M (0,0,0,0,1,0,0)

M(0,0,0,0,0,1,0)

M(1,0,0,0,0,0,0)

DISCUSION

M(1,0,0,0,0,0,0)
o El token se encuentra en platos vacios, al activar la transicin
hacer pedido se traslada a espera.
M(0,1,0,0,0,0,0)
o El token se encuentra en espera, luego pasa por una verificacin
(XOR) verifica si existe stock si no existe vuelve a platos vacios, en
este caso tomaremos el otro camino el cual si existe stock, el
tocken pasa a plato en preparacin.
M(0,0,1,0,0,0,0)
o El tocken se encuentra en plato en preparacin, luego se activa la
transicin servir plato, y el tocken pasara al place comiendo.
M(0,0,0,1,0,0,0)
o El tocken se encuentra en comiendo, luego al activar la
transicin pedir cuenta el tocken pasara a caja
M(0,0,0,0,1,0,0)
o El tocken se encuentra en caja luego con una transicin XOR
verificaremos si pagara al contado o a crdito, si es al contado con
una transicin de realizar pago acabara todo el proceso y
comenzara nuevamente el sistema, esta vez simularemos que
pagamos con tarjeta de crdito asi que el tocken pasara a tarjeta
de crdito.
M(0,0,0,0,0,1,0)
o El tocken se encuentra en tarjeta de crdito, a travs de una
transicin llamada el POS (mquina para cobrar tarjeta de crdito)
y con esto termina el proceso del sistema volviendo el tocken al
principio.

REFERENCIAS:

WOPED: http://www.softpedia.es/descargar-WoPeD-156553.html