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 mvillap@strix.ciens.ucv.ve

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.

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.

Ejemplo

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.

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.

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.

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.

Ejemplo

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

Nodo de Declaración Global

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

CPN: Definición Formal de Multi-Set

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

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

Definición Formal de una CPN

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.

CPN: Definición Formal - Ejemplo

CPN: Definición Formal - Ejemplo