Redes petri
Santiago Andrés Torres Gordillo
Cod. 1717219370
Abstrac - The HPetriSim software is aplicaciones que se les ha encontrado, las
presented which facilitates the creation and cuales incluyen diversas áreas del
simulation of petri nets. Its interface can conocimiento y de la técnica. Se ha
handle simple types of Petri nets with demostrado que las RdP son un instrumento
limited capacity. The toolbox is equipped adecuado para la representación y análisis
with an easy-to-use graphical interface. de ciertos sistemas, ya que estas tienen la
Where the (partial) work is carried out, habilidad de representar y analizar de una
graphically together with its respective forma fácil sincronización y concurrencia,
simulation. donde varios procesos que evolucionan
simultáneamente son parcialmente
Resumen - Se presenta en el software independientes.
HPetriSim el cual nos facilita la creación y
simulación de redes de petri. Su interfaz Las RDP proveen un conjunto de
puede manejar tipos sencillos de redes de herramientas con gran capacidad de
Petri con capacidad limitada. La caja de descripción y operación que son ocupadas
herramientas está equipada con una interfaz para representar reglas difusas (reglas que
gráfica fácil de usar. En donde se realiza el describen la relación difusa entre dos
trabajo (parcial), de manera grafica junto con proposiciones). Un conjunto entero de
su respectiva simulacion. reglas de producción es llamado una base de
reglas. Además, al formalismo de reglas de
producción el sistema provee un significado
para definir los objetos referidos en las
reglas de producción, llamado declaración
de dominio. La base de reglas y la
declaración del dominio constituyen juntos
una base de conocimiento del sistema
difuso.
Las redes de Petri se describen como una
herramienta de naturaleza grafica para el
diseño y analisis de sistemas dinámicos de
eventos discretos. Una red de Petri se
representa gráficamente por un grafo dirigido
INTRODUCCIÓN bipartito. Los dos tipos de nodos, lugares y
transiciones representan, las variables que
Las redes de Petri (RdP) fueron
definen el estado del sistema (lugares) y a sus
introducidas en la literatura en la tesis
transformadores (transiciones). Los lugares
doctoral de Carl Adam Petri
[33] como una herramienta para simular las se representan por círculos, las transiciones
propiedades dinámicas de sistemas por barras y el marcado M se representa por
complejos mediante modelos gráficos de una distribución en los lugares denominados
procesos concurrentes. Desde entonces su marcas. Una marca se representa
estudio y desarrollo han tenido un auge gráficamente por un punto en el interior del
realmente vigoroso debido
fundamentalmente a las numerosas
círculo que define el lugar que lo contiene.
Los lugares y transiciones se conectan por
arcos dirigidos. Un arco dirigido de un lugar
P i a una transición T j define un lugar de
entrada de la transición. Múltiples entradas a
una transición son indicadas por múltiples
arcos desde el lugar de entrada a la transición.
Un lugar de salida es indicado por un arco
desde la transición al lugar. Análogamente,
múltiples salidas son representadas por
múltiples arcos.
Red nº2
Figura 1. Lugares, Transiciones y Señales
de una red Petri
El marcado de una red , M ,se define por un
vector columna en donde los elementos son
CONCLUSIONES
el numero de marcas contenidad en los
lugares , el marcado define el estado de la red
de petri. Para la red petri dada temenos • Para cocluir dentro del trabajo se
lugares. observa que se debe tener
conocimientos previos para realizar
las simulaciones dentro de cualquier
• Lugares (P={P0,P1,P2,P3,P4})
software.
• Transiciones (T={T1,T2,T3,T4})
• Los conocimientos adquiridos dentro
de la clase de sistemas flexibles de
menufactura fueron implementados
EVIDENCIA DE SIMULACIONES
correctamente
Red nº1 • A pesar de usar un software sencillo
se logró realizar de manera
satisfactoria las simulaciones
