Recursos compartidos 18




descargar 158.06 Kb.
títuloRecursos compartidos 18
página6/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

Extensiones

Recursos compartidos


Las RdP permiten modelar sistemas donde un recurso es compartido por dos procesos de forma que el uso del recurso durante la ejecución de un proceso impide que dicho recurso sea utilizado por el otro proceso.

Un recurso compartido se modela mediante un lugar con una marca inicial y transiciones en conflicto.

Ejemplo:


  1. Extensiones. Recursos compartidos.

Arcos inhibidores:



  1. Extensiones. Arcos inhibidores.

Estos tipos de arcos se relacionan con la transición a ser inhibida y con el lugar que, de tener una marca, va a impedir el disparo de la transición.

Validación


La validación consiste en comprobar que se cumplen las propiedades de:- VIVACIDAD; LIMITACIÓN; REVERSIBILIDAD.

Hay que considerar :

M0 : marcado inicial. De este se desprende el comportamiento del sistema.

[M0] : vector de marcados posibles a partir de un marcado inicial. (marcados alcanzables).

Ejemplo:


  1. Validación de una RdP.

Métodos de Análisis


Las técnicas para el análisis de RdP (análisis cualitativo de redes) se clasifican normalmente en tres grupos.

Técnicas Enumerativas


En primer lugar se tienen las técnicas enumerativas.

Se basan en la generación del grafo de alcanzabilidad para sistemas limitados o del grafo de cobertura para sistemas no limitados. Estas técnicas se pueden aplicar en teoría, pero en la práctica están limitadas a sistemas pequeños debido a su elevada complejidad computacional. En este grafo los nodos corresponden al marcado alcanzable y los arcos corresponden al disparo de las transiciones. En la figura se muestra una red de Petri y su grafo de alcanzabilidad (Grafo de marcados).


  1. Técnica enumerativa de validación.

Este grafo puede ser utilizado para mostrar que la red es segura, viva, reversible y que esta tiene dos componentes que se repiten t1, t2,t4 y t1, t3,t5.

En una red no limitada, el número de señales en un lugar puede ser infinito. Un lugar que puede llegar a tener un número infinito de señales se representa por ω. El grafo resultante es llamado grafo de cobertura.

Técnicas de Transformación


En segundo lugar se tienen las técnicas de transformación. En este grupo de técnicas el objetivo es reducir el tamaño de los modelos mediante reglas de reducción que preserven las propiedades que se quieren estudiar. En la figura puede observarse un conjunto sencillo de seis reglas de reducción que preservan vivacidad y k-limitación.

Reglas de reducción que presentan vivacidad y k-limitación:


  1. Técnica de transformación de validación.

Con este conjunto de reglas es posible reducir la complejidad del cálculo de la vivacidad y limitación de un sistema.

Técnicas Estructurales


En tercer lugar se tienen las técnicas estructurales. En este grupo de técnicas el objetivo es obtener la máxima información del modelo utilizando únicamente su estructura y marcado inicial.

Los métodos de álgebra lineal son utilizados para determinar las propiedades de la red.

La ecuación de estado de una red de Petri se define como sigue: el marcado Mk se define como un vector columna m × 1. La j−esima entrada de Mk denota el número de señales en el lugar j inmediatamente después del k−esimo disparo en la secuencia de disparos. El k−esimo disparo o vector de control uk es un vector columna de n × 1, con n−1 ceros y una entrada 1 en la i−esima posición, indicando el disparo de la transición i. Esto es, la i−esima fila de la matriz de incidencia C denota el cambio de marcado como el resultado del disparo de la transición i, luego la ecuación de estado para la red de Petri se escribe como sigue:

Mk = Mk−1 + CT uk, k = 1, 2, 3, ….

El marcado de una red de Petri puede ser cambiado cada vez que una transición se dispara. Si no ocurre un bloqueo, el número de disparos es ilimitado. Sin embargo, no todos los marcados pueden ser alcanzados y no todas las secuencias de disparos pueden ser llevadas a cabo. Las restricciones son dadas por los invariantes de la red. Un marcado invariante es obtenido si la suma de los pesos de el marcado de un subconjunto de lugares en una red es siempre constante. Los lugares contenidos en este subconjunto son llamados componentes conservativos y el vector que contiene los pesos es P-Invariante. Si el disparo de una cierta secuencia de transiciones resulta en el mismo marcado como cuando inicio, la secuencia es llamada componente repetitivo. El vector característico de la secuencia de disparos es el T-Invariante.
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