nada

UNIVERSIDAD CENTROAMERICANA
Facultad de Ciencia, Tecnología y Ambiente / Coordinación ISTI
Arquitectura de Sistemas Concurrentes – IIIC2014
Guía de Ejercicios #8: Redes de Petri (E-Mail)Objetivo: Simular el envío y recepción de correo electrónico utilizando las redes de Petri.
Una Red de Petri es una representación
matemática o gráfica de un sistema a eventos
discretos en el cual se puededescribir la
topología de un sistema distribuido, paralelo o
concurrente. La red de Petri esencial fue definida
en la década de los años 1960 por Carl Adam
Petri. Son una generalización de lateoría de
autómatas que permite expresar un sistema a
eventos concurrentes.
Una red de Petri está formada por lugares,
transiciones, arcos dirigidos y marcas o fichas
que ocupan posiciones dentro delos lugares. Las reglas son: Los arcos conectan un lugar a una
transición así como una transición a un lugar. No puede haber arcos entre lugares ni entre
transiciones. Los lugares contienen unnúmero finito o infinito contable de marcas. Las transiciones
se disparan, es decir consumen marcas de una posición de inicio y producen marcas en una posición
de llegada. Una transición está habilitadasi tiene marcas en todas sus posiciones de entrada.

Software HPSim (Hewlett-Packard Systems Insight Manager): Propiedades de Plazas,
Transiciones, Arcos y Tokens

Página # 1 de 4

Ingenieríaen Sistemas y Tecnologías de la Información

UNIVERSIDAD CENTROAMERICANA
Facultad de Ciencia, Tecnología y Ambiente / Coordinación ISTI
Arquitectura de Sistemas Concurrentes – IIIC2014

Página #2 de 4

Ingeniería en Sistemas y Tecnologías de la Información

UNIVERSIDAD CENTROAMERICANA
Facultad de Ciencia, Tecnología y Ambiente / Coordinación ISTI
Arquitectura de Sistemas Concurrentes– IIIC2014
Ejercicios
1. Elabore el modelo para el Envío y Recepción de Correo Electrónico y ejecute la simulación
utilizando el software HPSim (Hewlett-Packard Systems Insight Manager).
2....