Redes de Petri Coloreadas

Presentación del tema: "Redes de Petri Coloreadas"— Transcripción de la presentación:

1 Redes de Petri Coloreadas
UNIVERSIDAD CENTRAL DE VENEZUELA FACULTAD DE CIENCIAS POSTGRADO EN CIENCIAS DE LA COMPUTACION Redes de Petri Coloreadas María E. Villapol

2 Redes de Petri Coloreadas
Las Redes de Petri Coloreadas son redes de alto nivel que incorporan algunas definiciones, tales como tipos de datos y el procesamiento de valores de datos encontrados en los lenguajes de programación.

3 Ventajas de las Redes de Alto Nivel
Contiene la explosión de elementos de redes que pueden ocurrir con las P/T nets cuando se modelan ejemplos prácticos. Proporciona una forma de estructura: Agrupando plazas Agrupando transiciones similares. Hace mas fácil la lectura y entendimiento de una red. Algunas veces mas legibles. Proporciona flexibilidad para la visualización de flujos de control y data cuando requerido.

4 Ejemplo

5 Ejemplo El remitente y el receptor se comunican para solicitar algunas garantías de QoS, en la forma de reservaciones de recursos. El protocolo subyacente se orienta al receptor. Los paquetes de datos viajan del remitente al receptor, pero no se muestran en el modelo. Así, el remitente que desea conseguir alguna garantía de QoS para su flujo de datos, señala su intento enviando una petición incluyendo las características del tráfico del flujo de datos al receptor. Una vez que el receptor obtiene el mensaje puede enviar una petición de la reservación incluyendo los detalles de la reservación al remitente. La red puede rechazar la petición de la reservación porque no hay suficientes recursos de la red para satisfacerla. En ese caso, un mensaje de error se envía de nuevo al receptor. Si no, la petición llega el remitente y notifican al usuario del remitente sobre la reservación actual.

6 Comportamiento Estático
Plazas: almacenan estados de la entidades, mensajes, requerimientos de los usuarios, información de control, entre otros. Son tipeadas Tipos: cada plaza tiene un tipo asociado o un conjunto de colores (colour set), el cuál determina el tipo de datos que la plaza puede tener.

7 Comportamiento Estático
Marcados de una plaza: Las marcas se asocian a cada plaza. Una marca es un valor (colour), que pertenece al tipo de la plaza. El marcado de una plaza es el multi-conjunto (multi-set) de marcas presentes en la plaza. Es un multi-conjunto, puesto que puede contener varias marcas con el mismo valor. Por ejemplo, la plaza SenderUser puede tener la marca inicial 2`Ta, lo cuál significa que la plaza tiene dos marcas, cada uno con el valor Ta. Significa que el remitente puede enviar dos peticiones con los mismos valores de tráfico. Marcado inicial: estado inicial del sistema.

8 Comportamiento Estático
Transiciones: representan las acciones del sistema y de los eventos atómicos. Arcos: conectan las transiciones y las plazas y tienen expresiones asociadas.

9 Ejemplo

10 Nodo de Declaración Global
Nodo de declaración global: define las definiciones de los tipos, variables, y funciones. Estados de las entidades de RSVP Mensajes de RSVP Variables y funciones

11 Nodo de Declaración Global

12 Red de Alto Nivel de una Red P/T
AB BC C <x> <x> x  b 2<a> 3<b> <c> A A <x> + <y> <y> x  y & y = b A = {a,b,c} x,y : A

13 CPN: Definición Formal de Multi-Set

14 CPN: Definición Formal de las Operaciones Estándares sobre Multi-Set

15 CPN: Definición Formal de las Operaciones Estándares sobre Multi-Set

16 Definición Formal de una CPN

17 CPN: Definición Formal
: es el tipo Booleano. The elements of a type, T. The set of all elements in T is denoted by the type name T itself. The type of a variable, v – denoted by Type(v). The type of an expression, expr – denoted by Type(expr). The set of variables in an expression, expr – denoted by Var(expr). A binding of a set of variables, V – associating with each variable v V an element b(v)  Type(v). The value obtained by evaluating an expression, expr, in a binding, b – denoted by expr<b>. Var(expr) is required to be a subset of the variables of b, and the evaluation is performed by substituting for each variable v  Var(expr) the value b(v)  Type(v) determined by the binding.

18 CPN: Definición Formal - Ejemplo

19 CPN: Definición Formal - Ejemplo