INGENIERIA DE SISTEMAS
NOMBRE: CRUZ ARIAS FRANZ ALEX
DOCENTE: ING. BALDERRAMA VASQUEZ CARLOS
TEMA 7
REDES PETRI
MODELOS DE SISTEMAS CON REDES PETRI
Realizar un Mapa Mental de la lectura desarrollada.
m
er as
co
eH w
MODELADO DE SISTEMA CON
o.
REDES PETRI
rs e
ou urc
o
aC s
DIAGRAMA COMPUESTA ESTRUCTURA
vi y re
PLAZAS CONJUNTO DE NODOS
ed d
ar stu
TRANSICIONES CONJUNTO DE
TRANSICIONES
is
ARCOS
Th
FUNCION DE ENTRADA
sh
FUNCION DE SALIDA
This study source was downloaded by 100000822258994 from CourseHero.com on 03-27-2021 17:31:21 GMT -05:00
https://www.coursehero.com/file/65079548/REDES-PETRIdocx/
Realizar a cinco ejemplos de modelos por redes de Petri.
Ejemplo 1
Sistema de atención en un cajero para pagar un servicio básico (agua, luz, gas,
internet, etc).
Cajero libre
T2 T3
Atención cajero
T1
m
Cola o fila
er as
co
eH w
o.
rs e
ou urc
T1 = Se activa cuando una persona saca ficha para pagar un servicio básico y va hacia la
cola o fila.
o
aC s
vi y re
T2 = Se activa cuando plaza (cajero libre) y plaza (cola o fila) tienen un token o marca.
ed d
ar stu
T3 = Se activa cuando el usuario fue atendido enviando un token o marca a la plaza (cajero
libre) notificando que cajero se encuentra libre y pueda pasar otra persona.
is
Th
sh
This study source was downloaded by 100000822258994 from CourseHero.com on 03-27-2021 17:31:21 GMT -05:00
https://www.coursehero.com/file/65079548/REDES-PETRIdocx/
Ejemplo 2
Sistema de pago del bono universal o del bono familia.
Cobro_b_universal
T4
Se cancela y
registra en el
Ingreso o consulta Resultado consulta
De T1
C.I.
T2
No en sistema (Cobro o NoT3
cobro) sistema
Se rechaza
T5
pedido
m
Cobro_b_familia
er as
co
eH w
o.
rs e
T1 = Se activa consulta para que se pueda o no acceder a algún bono.
ou urc
o
T2 = Se activa comparación con el C.I. en la base de datos para determinar acción.
aC s
vi y re
T3 = Se activa resultado de consulta con la comparación en la base de datos (Cobro o No
cobro).
ed d
ar stu
T4 = Se activa la siguiente acción en caso de que el resultado de la consulta sea q NO
is
COBRO.
Th
T5 = Se activa la siguiente acción en caso de que el resultado de la consulta sea q COBRO.
sh
This study source was downloaded by 100000822258994 from CourseHero.com on 03-27-2021 17:31:21 GMT -05:00
https://www.coursehero.com/file/65079548/REDES-PETRIdocx/
Ejemplo 3
Sistema venta de pasajes de buses para viajes nacionales
Compra se Se quita de la lista de
T3 imprime pasaje T4 asientos libres
Fecha y horarios
T1 disponibles para Lista asientos
T2
el destino libres
T5 Reserva T6
Reserva de pasaje
completado se
imprime pasaje
m
er as
T7
co
Se cancela o
eH w
anula reserva
T8
o.
rs e
ou urc
o
aC s
T1 = Activa evento cuando una persona quiere comprar o reservar un pasaje.
vi y re
T2 = Activa la lista de asientos libres de la fecha y hora en la que se desea viajar.
ed d
T3 = Activa la compra del pasaje e impresión del mismo.
ar stu
T4 = Activa la acción para quitar de la lista de asientos disponibles, termina transacción.
T5 = Activa reserva de asiento el operador o administrador da instrucciones al usuario para
is
poder completar la reserva.
Th
T6 = Activa reserva de asiento completada y se procede a imprimir el pasaje.
T7 = Activa la acción para cancelar o anular reserva.
sh
T8 = Activa la acción para que el asiento vuelva a la lista de libres.
This study source was downloaded by 100000822258994 from CourseHero.com on 03-27-2021 17:31:21 GMT -05:00
https://www.coursehero.com/file/65079548/REDES-PETRIdocx/
Ejemplo 4
Sistema de un restaurant en la atención de pedidos.
Anotar y cobra Preparando
T1 pedido para mesa
T2 pedido T3
Mesero libre T8
T7
Pedido en espera Mesero atiendo
para ser mesa
entregado
Anotar y cobra Preparando T9
m
T4 T5 T6
er as
pedido para llevar pedido
Entrega pedido
co
para llevar
eH w
o.
rs e
ou urc
T1 = Activa tomar pedido para una mesa.
o
T2 = Activa acción para preparar el pedido para la mesa.
aC s
vi y re
T3 = Activa cuando pedido ya está listo para entregarse.
T4 = Tomar pedido para llevar.
ed d
T5 = Activa acción para preparar el pedido para llevar.
ar stu
T6 = Activa cuando pedido ya está listo para entregarse.
T7 = Activa cuando plaza (pedido en espera para ser entregado) y plaza (mesero libre)
is
están activados.
Th
T8 = Activa cuando el mesero termina de atender la mesa enviando un token o marca a la
plaza (mesero libre) notificando que hay un mesero libre y pueda pasar atender una mesa.
sh
T9 = Activa cuando el pedido para llevar ya está listo para entregarse.
This study source was downloaded by 100000822258994 from CourseHero.com on 03-27-2021 17:31:21 GMT -05:00
https://www.coursehero.com/file/65079548/REDES-PETRIdocx/
Ejemplo 5
Sistema proceso para el préstamo de un libro en la biblioteca de la carrera de
sistemas.
T5
T3 Sala de biblioteca T4
Llenar
formulario Solicitar otro libro
Habilita para Biblioteca virtual
T1 T2 préstamo T6 PC asignada
Presentar C.I.
m
universitario
er as
T7 T8 Sacar libro
co
Libro domicilio
eH w
o.
rs e Completar requisitos, dejar
ou urc
título de bachiller o libreta
de servicio militar
o
aC s
T1 = Activa evento solicitud para el préstamo de un libro.
vi y re
T2 = Activa si plaza (Llenar formulario) y plaza (Presentar C.I.) están habilitados.
T3 = Activa para el préstamo del libro en la sala de la biblioteca.
ed d
ar stu
T4 = Activa si queremos sacar nuevo libro.
T5 = Activa para llenar el formulario y sacar nuevo libro.
is
T6 = Activa para el préstamo de libro en la biblioteca virtual.
Th
T7 = Activa para el préstamo de libro a domicilio.
T8 = Activa para poder sacar el libro completando los requisitos.
sh
This study source was downloaded by 100000822258994 from CourseHero.com on 03-27-2021 17:31:21 GMT -05:00
https://www.coursehero.com/file/65079548/REDES-PETRIdocx/
Powered by TCPDF (www.tcpdf.org)
