Redes Petri
Páginas: 2 (479 palabras)
Publicado: 6 de diciembre de 2012
Redes Petri
Es una grafica dirigida a G=(V,E) donde V=PUT y P∩T=Vacío. Cualquier arista e en E es incidente en un miembro de P y un miembro de T. El conjunto P es el conjunto de lugares y elconjunto T es el conjunto de transiciones.
De manera informal una red Petri es una grafica dirigida bipartita, en la cual las dos clases de vértices se llaman lugares y transiciones. En general en las redesPetri se permite la existencia de aristas paralelas.
Un marcado de una red Petri asigna a cada lugar un entero no negativo. Una red Petri con marcado es una red Petri marcada (o simplemente unared Petri).
Si un marcado asigna el entero no negativo n al lugar p, decimos que existen n elementos en p. Los elementos se representan mediante puntos, los lugares se dibujan como círculos y lastransiciones como barras o cajas rectangulares.
Al modelar una situación, los lugares representan condiciones, las transiciones representan eventos, y la presencia de al menos un elemento en un lugarindica que tal condición se cumple.
En una red Petri si una arista va del lugar P a la transición T decimos que P es un lugar de entrada para la transición T. Un lugar de salida se define de maneraanáloga. Si cada lugar de entrada de una transición T tiene al menos un elemento decimos que T esta activado. La descarga de una transición elimina un elemento de cada lugar de entrada y agrega unelemento a cada lugar de salida.
Si una serie de descargas transforma un marcado M en un marcado M’ decimos que M’ es alcanzable desde M.
Al modelar una situación, la descarga de una transición simulala ocurrencia de ese evento. Por su puesto, un evento puede ocurrir solo si se cumplen todas las condiciones para su ejecución; es decir, la transición se puede descargar solo si esta activada.Entre las propiedades mas importantes estudiadas en la teoría de las redes de Petri están la supervivencia y la seguridad. La supervivencia se refiere a la ausencia de estancamientos y la seguridad se...
Es una grafica dirigida a G=(V,E) donde V=PUT y P∩T=Vacío. Cualquier arista e en E es incidente en un miembro de P y un miembro de T. El conjunto P es el conjunto de lugares y elconjunto T es el conjunto de transiciones.
De manera informal una red Petri es una grafica dirigida bipartita, en la cual las dos clases de vértices se llaman lugares y transiciones. En general en las redesPetri se permite la existencia de aristas paralelas.
Un marcado de una red Petri asigna a cada lugar un entero no negativo. Una red Petri con marcado es una red Petri marcada (o simplemente unared Petri).
Si un marcado asigna el entero no negativo n al lugar p, decimos que existen n elementos en p. Los elementos se representan mediante puntos, los lugares se dibujan como círculos y lastransiciones como barras o cajas rectangulares.
Al modelar una situación, los lugares representan condiciones, las transiciones representan eventos, y la presencia de al menos un elemento en un lugarindica que tal condición se cumple.
En una red Petri si una arista va del lugar P a la transición T decimos que P es un lugar de entrada para la transición T. Un lugar de salida se define de maneraanáloga. Si cada lugar de entrada de una transición T tiene al menos un elemento decimos que T esta activado. La descarga de una transición elimina un elemento de cada lugar de entrada y agrega unelemento a cada lugar de salida.
Si una serie de descargas transforma un marcado M en un marcado M’ decimos que M’ es alcanzable desde M.
Al modelar una situación, la descarga de una transición simulala ocurrencia de ese evento. Por su puesto, un evento puede ocurrir solo si se cumplen todas las condiciones para su ejecución; es decir, la transición se puede descargar solo si esta activada.Entre las propiedades mas importantes estudiadas en la teoría de las redes de Petri están la supervivencia y la seguridad. La supervivencia se refiere a la ausencia de estancamientos y la seguridad se...
Leer documento completo
Regístrate para leer el documento completo.