Esta es la exposicion y el video q iria incluido en el
el video seria proyectado desde la pestama video
pero al bajarlo cambia su direccion asi q tambien se los envio
perdon pero por ahora solo sera el video
redes de petri
sino consulten el blog de mi compañero
Allan Antonio
http://kernel-infoshadow.blogspot.com/
este es el video
domingo, 15 de noviembre de 2009
Este es el resumen de redes de petri chequenlo
y estudienlo ya q se tomara para el examen de el miercoles de mate para compu
REDES DE PETRI
Una red de Petri es un grafo dirigido G= (V,E) en donde V= P ∪ T y P ∩ T = Ø . Cualquier lado e de E es incidente con un elemento de P y con un elemento de T se llama conjunto de las transiciones.
Las redes de Petri se describen como una herramienta de naturaleza gráfica para
el diseño y análisis de sistemas dinámicos de eventos discretos. Una red de Petri se representa gráficamente por un grafo dirigido bipartito. Los dos tipos de nodos, lugares y transiciones representan, las variables que definen el estado del sistema (lugares) y a sus transformadores (transiciones). Los lugares se representan por círculos, las transiciones por barras y el marcado M se representa por una distribución en los lugares denominados marcas. Una marca se representa gráficamente por un punto en el interior del círculo que define el lugar que lo contiene.
Los lugares y transiciones se conectan por arcos dirigidos. Un arco dirigido de un lugar Pi a una transición Tj 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.
EJEMPLO:
TRANSICIONES LUGARES
MARCA
Formalmente una red de Petri es una cuádrupla que se compone de P, T, Pre, Post.
Pre: P × T → {0, 1} es el conjunto de lugares de entrada a T
Post: T × P → {0, 1} es el conjunto de lugares de salida de T
Si el par (p, t) está incluido en Pre, habrá un arco de p a t, y se dice que p es un lugar de entrada para t. Si el par (t, p) está incluido en Post, habrá una flecha de t a p, y se dice que p es un lugar de salida para la transición t.
Normalmente a las transiciones se les asocian acciones y a los lugares condiciones.
Pre marca las precondiciones de una transición. Asimismo, Post da las postcondiciones de una transición.
Marcado de las redes de Petri.
En una red de Petri, los lugares pueden contener un número positivo o nulo de marcas las cuales se representan por puntos. Se habla de M (p) como el marcado del lugar p.
El número de marcas en una red de Petri no tiene por qué ser constante a lo largo del tiempo. Se denomina M0 al marcado inicial, y se dice que es la distribución de marcas en cada uno de los lugares en el instante inicial.
Un marcado se puede representar como un vector, donde cada elemento corresponde con un lugar.
Se dice que una transición está sensibilizada o validada, o que es franqueable, si todos sus lugares de entrada están marcados.
Una transición es franqueada o disparada si se verifica el acontecimiento (acción) a que está asociada, en ese caso se dispara o franquea. El disparo o franqueo de una transición consiste en:
· Se quita una marca de cada lugar de entrada de esa transición.
· Se añade una marca a cada lugar de salida de esa transición.
La primera transición se denomina transición fuente y no tiene ningún lugar de entrada. La última es una transición sumidero y no tiene ningún lugar de salida.
EJEMPLO:
p1
p2
t1
p1
p2
t1
p3
p3
Comportamientos modelables con las redes de Petri.
Con una red de Petri podemos modelar:
· Acciones secuenciales:
·
t1Acciones concurrentes: t1 y t2 son transiciones que se pueden disparar de forma concurrente:
t2
· Exclusión mutua o conflicto: t1 y t2 comparten un lugar de entrada común. Si dicho lugar de entrada estuviera marcado, t1 y t2 serían ambas franqueables, pero sólo podemos disparar una. Se produce un conflicto. Además, existe exclusión mutua entre ambas, se dispara una o la otra:
t1
t2
Hay dos tipos de conflictos:
· Estructural: También llamado potencial. Cuando el conjunto de los lugares de entrada a alguna transición tiene intersección no vacía (hay algún lugar de entrada común). Es el caso de la red de Petri anterior.
· Efectivo: Cuando existe un conflicto estructural y además las dos transiciones son franqueables. Sería el ejemplo anterior pero con el lugar de entrada marcado.
Es decir, el conflicto efectivo depende del marcado mientras que el estructural no. A una red donde existe un conflicto se le denomina red no determinista, depende de si disparamos una u otra transición. Así se producirá uno u otro efecto.
y estudienlo ya q se tomara para el examen de el miercoles de mate para compu
REDES DE PETRI
Una red de Petri es un grafo dirigido G= (V,E) en donde V= P ∪ T y P ∩ T = Ø . Cualquier lado e de E es incidente con un elemento de P y con un elemento de T se llama conjunto de las transiciones.
Las redes de Petri se describen como una herramienta de naturaleza gráfica para
el diseño y análisis de sistemas dinámicos de eventos discretos. Una red de Petri se representa gráficamente por un grafo dirigido bipartito. Los dos tipos de nodos, lugares y transiciones representan, las variables que definen el estado del sistema (lugares) y a sus transformadores (transiciones). Los lugares se representan por círculos, las transiciones por barras y el marcado M se representa por una distribución en los lugares denominados marcas. Una marca se representa gráficamente por un punto en el interior del círculo que define el lugar que lo contiene.
Los lugares y transiciones se conectan por arcos dirigidos. Un arco dirigido de un lugar Pi a una transición Tj 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.
EJEMPLO:
TRANSICIONES LUGARES
MARCA
Formalmente una red de Petri es una cuádrupla que se compone de P, T, Pre, Post.
Pre: P × T → {0, 1} es el conjunto de lugares de entrada a T
Post: T × P → {0, 1} es el conjunto de lugares de salida de T
Si el par (p, t) está incluido en Pre, habrá un arco de p a t, y se dice que p es un lugar de entrada para t. Si el par (t, p) está incluido en Post, habrá una flecha de t a p, y se dice que p es un lugar de salida para la transición t.
Normalmente a las transiciones se les asocian acciones y a los lugares condiciones.
Pre marca las precondiciones de una transición. Asimismo, Post da las postcondiciones de una transición.
Marcado de las redes de Petri.
En una red de Petri, los lugares pueden contener un número positivo o nulo de marcas las cuales se representan por puntos. Se habla de M (p) como el marcado del lugar p.
El número de marcas en una red de Petri no tiene por qué ser constante a lo largo del tiempo. Se denomina M0 al marcado inicial, y se dice que es la distribución de marcas en cada uno de los lugares en el instante inicial.
Un marcado se puede representar como un vector, donde cada elemento corresponde con un lugar.
Se dice que una transición está sensibilizada o validada, o que es franqueable, si todos sus lugares de entrada están marcados.
Una transición es franqueada o disparada si se verifica el acontecimiento (acción) a que está asociada, en ese caso se dispara o franquea. El disparo o franqueo de una transición consiste en:
· Se quita una marca de cada lugar de entrada de esa transición.
· Se añade una marca a cada lugar de salida de esa transición.
La primera transición se denomina transición fuente y no tiene ningún lugar de entrada. La última es una transición sumidero y no tiene ningún lugar de salida.
EJEMPLO:
p1
p2
t1
p1
p2
t1
p3
p3
Comportamientos modelables con las redes de Petri.
Con una red de Petri podemos modelar:
· Acciones secuenciales:
·
t1Acciones concurrentes: t1 y t2 son transiciones que se pueden disparar de forma concurrente:
t2
· Exclusión mutua o conflicto: t1 y t2 comparten un lugar de entrada común. Si dicho lugar de entrada estuviera marcado, t1 y t2 serían ambas franqueables, pero sólo podemos disparar una. Se produce un conflicto. Además, existe exclusión mutua entre ambas, se dispara una o la otra:
t1
t2
Hay dos tipos de conflictos:
· Estructural: También llamado potencial. Cuando el conjunto de los lugares de entrada a alguna transición tiene intersección no vacía (hay algún lugar de entrada común). Es el caso de la red de Petri anterior.
· Efectivo: Cuando existe un conflicto estructural y además las dos transiciones son franqueables. Sería el ejemplo anterior pero con el lugar de entrada marcado.
Es decir, el conflicto efectivo depende del marcado mientras que el estructural no. A una red donde existe un conflicto se le denomina red no determinista, depende de si disparamos una u otra transición. Así se producirá uno u otro efecto.
Suscribirse a:
Entradas (Atom)
