Recursos compartidos 18




descargar 158.06 Kb.
títuloRecursos compartidos 18
página4/9
fecha de publicación06.01.2016
tamaño158.06 Kb.
tipoCursos
med.se-todo.com > Documentos > Cursos
1   2   3   4   5   6   7   8   9

Subclases de Redes de Petri

Grafo de estados


Un grafo de estado (GE) o máquina de estados (ME) es una RdP que cumple:

∀t ∈ T, |•t| = |t•| = 1

Grafo marcado


Un grafo marcado (GM) o grafo de sincronización es una RdP que cumple:

∀p ∈ P, |•p| = |p•| = 1

Red de libre elección


Una RdP de libre elección (RLE) es una RdP que cumple:

∀p ∈ P, si |p•| > 1, entonces ∀t ∈ p•, |•t| = 1

Red simple


Una RdP simple (RS) es una RdP que cumple:

p•1 ∩ p•2 = ∅ ⇒ p•1 ⊆ p•2 o p•1 ⊇ p•2 para toda p1, p2 ∈ P.

Estructuras básicas

Selección


Selecciona el proceso a ejecutar




  1. Estructura básica. Selección.

Atribución


Ejecución independiente de un proceso por dos procesos distintos


  1. Estructura básica. Atribución.

Distribución


Ejecución de procesos paralelos o concurrentes


  1. Estructura básica. Distribución.

Conjunción


Sincronización de procesos en paralelo


  1. Estructura básica. Conjunción.

Ejecución Secuencial


La transición t2 puede ser disparada  sea antes disparado t1.


  1. Estructura básica. Ejecución secuencial.

Sincronización


La transición t1 estará habilitada para ser disparada  todos los nodos de entrada de la transición t1 poseen al menos una marca en cada uno de ellos.

Esto ocurre principalmente en la electrónica. Ej: El en circuito AND las dos entradas producen una salida lógica.


  1. Estructura básica. Sincronización.

Concurrencia


Las transiciones t2 y t3 son concurrentes. Con esta propiedad, las RdP es capaz de modelar sistemas de control distribuido con múltiples procesos ejecutándose concurrentemente.


  1. Estructura básica. Concurrencia.

Conflictos


Tanto la transición t1 como t2 están listas para ser disparadas, pero el disparo de alguna de ellas produce que la otra transición quede inhabilitada para ser disparada.


  1. Estructura básica. Conflictos.

Propiedades


En las RdP podemos encontrar propiedades estructurales, que dependen de la estructura topológica de las RdP, independientes del marcado inicial y, las propiedades de comportamiento que sí dependen del marcado inicial

Propiedades estructurales

RdP Pura


Una RdP N es una red pura si no existe ninguna transición que tenga un lugar que sea al mismo tiempo de entrada y salida de la transición:

∀tj ∈ T , ∀pi ∈ P, Pre(pi, tj) Post(tj , pi) = 0

Red de Petri Acotada Estructuralmente


Una red de Petri está acotada estructuralmente si está acotada para cualquier marcado inicial finito.

Un lugar p en una red de Petri se dice no acotado estructuralmente si existe un marcado M y una secuencia de disparo σ desde M tal que p no esté acotado.

Red de Petri Estructuralmente Viva


Una red de Petri está estructuralmente viva si existe algún marcado inicial para el que está viva.

Red de Petri Completamente Controlable


Una red de Petri se dice completamente controlable si cualquier marcado es alcanzable desde cualquier otro marcado.

Red de Petri Estructuralmente Conservativa


Una red de Petri es estructuralmente conservativa si, para cualquier marcado inicial M0 y un marcado alcanzable M ∈ R(M0), existe un vector x (n × 1) tal que xi≠0, para cualquier i = 1,...,n, y xtM = xtM0.

Red de Petri (parcialmente) Repetitiva


Una red de Petri es (parcialmente) repetitiva si existe un marcado finito M0 y una secuencia de disparo s tal que (alguna) toda transición ocurre un número infinito de veces en σ.

Red de Petri (parcialmente) Consistente


Una red de Petri es (parcialmente) consistente si existe un marcado finito M0 y una secuencia de disparo s cíclica (desde M0 a M0 tal que (alguna) toda transición ocurre al menos una vez en σ.
1   2   3   4   5   6   7   8   9

similar:

Recursos compartidos 18 iconRecursos compartidos 18

Recursos compartidos 18 iconResumen en el Perú contamos con diversos recursos naturales, por...

Recursos compartidos 18 iconLos recursos naturales son todos los factores abióticos o bióticos...

Recursos compartidos 18 iconRecursos

Recursos compartidos 18 iconRecursos 10%

Recursos compartidos 18 iconRecursos /I

Recursos compartidos 18 iconRecursos materiales

Recursos compartidos 18 iconRecursos colaboración

Recursos compartidos 18 iconRecursos disponibles 17

Recursos compartidos 18 iconRecursos materiales


Medicina



Todos los derechos reservados. Copyright © 2015
contactos
med.se-todo.com