earn Tess de a Mira ys TOMA Las redes de Petri son una herraminta grtice y matematica de descripcion funcional ampliamenteutlizada para modelar el comportamiento de sistemas inimicos Aiscretos y de sistemas concurrentes. Las redes de Petri mangjan el comportamiento concurente de los procesadores paalelos usando marcas (okens) para representa la presencia de datos en una posicidn panicular dentro del sistema Las redes de Peri permiten expresar, de forma clara y rgurosa,otjetivs de funcionamiento y seguridad funcional de los sistemas que describen. Las redes de Pete son una herramienta de desripcién ficlmente comprensible por el futuro usuario del sistema, mediante la cual lees posible formalizar su dilogo con el dsehador Una ved de Petr es un grafoorientado en el que intervienen don clases de -nudos, los lugares (representados por circunferencias) y ls tramsiciones (tepresentados por rectingulos estrecho o segments rctlineos gruesos),unidos allemaivanente por ‘arcos. Un arco une un lugar con una transicén, 0 vicevers, pero nunca dos tansiciones 0 dos lugares Un lugar puede contener un nimero positivo 0 nulo de marcas Une marca se representa por un punto en el interior de la circunfrencia correspondiente a lugar El conjunto de marcas asociadas enn instante dado a cada uno de los lugares consiuye tun marcado de la red de Pet Para ta descripcion funcional de sistemas concurrentes, a los lugares se les asocian acciones 0 saliday del sistema que se desea model. las tansiciones se les asocian los eventos (unciones logics de las variables de entrada del sistema) acciones ostldas Evolucibn del marcado — Un lugar p es ingar de entrada de una transicién ¢ si existe un arco covietado de p hacia — Un lugar p es lugar de sala de una transicion 1s existe wn areoorientad de rhaciap — Una tramsicign esta sensibizad si todos sus lugares de entrada estan smarcados‘Una tanscion sensibilizada es disparada 0 franqueadda si el evento que le est soca se verfica. El disparo de una transicién consiste en quitar una marca ¢eadn uno de los kagares de entrada y en afar una marca a cada uno de los lugares de slid, ‘Un lugar que tiene varios arcos de entrada yo de slida se denomina sudo O ‘Un grafe de estados esti formado a base de mudos O. Dos casos panticulares de mus 1a seleccion (un arco de enteaday varios de sida), La aribucton (varios tcos de entrada y uno de slid) Una transcion que tiene varios arcos de entrada yio de sala se denomina ‘mudo ¥_ Se observard que en un grafo de estados no existen estos mudos. Sen los que permiten la creaion y extincion de las evoluciones simultineas, Dos casos pariculares de nudos ¥ son La dsrabuctn (un arco de entrada y varios de sali). La conjuncian (varios arcos de entrada y uno de slid). ‘Una red de Petri que no contiene nudos ¥’ se denomina grafo 0 meiguina de ‘estas, siempre que su marcado se limite a una sola marca, Pasemos shora a comentar las propiedadesbisicas de una red de Pet Una transiion es viva, para un marcado Mo, si para todo marcado M que se peda alcanzar a partir del marcado inicil My existe un marcado M” sucesor de Ma Parr del cual se puede disparar ese transcién. Una red de Petri es viva, para un arcade dado, si todas su tansiciones son vivas para ese marcado, La red de Petri de ia figura 21 noes viva Puede comprobarse que si se apica la secuencia de dsparos#y-te~t;-, el marcado evohuciona normalmente, pero si se aplica ‘sa partir del marcado inci, el marcado de la red de Petri no permite el dsparo de ninguna transicion mis (esti Bloqueada) Puesto que una mansiciin no vive no puede ser Aisparada a partir de una cierta evolucion en la red de Petri, se puede “sospectar” que el ‘modelo del sistema objeto de estudio es incorrect.Ps Figura Red de Pe no ay no tina Para un marcado inicial dado, una red de Petri ex binaria si cualquiee marcado sleanzable es tal que ningin lugar posee mis de una marca, En una eed de Pet binaria todo lugar estaré marcado con una marca 0 no estari marcado. La red de la figura 2.1 no es binaia, puesto que si se repite In secuencia de Aisparos t-4, ef mimero de marcas de ps crece coninuamente: En exte caso se dice que laced es no limita, puesto que el marcado de ps no tiene limite fito Si lard de Pets «que modela un sistema es no limitada,cabe igualmente“sospechar” que el medelo no es correcto, La limitacion caracteriza la fnitud del numero de estados internos del sistema ‘que se mela. Las redes de Petri pueden modear autématas no fiitos Para un marcado inical dado, se dice que una red de Petri es coniorme si es binariay viva Dos 0 mis transiciones simultineamente sensiblzadas estin et conflicto (figura 22) si descienden de un mismo lugar y éste no dispone de un nimero de marcas ‘sufciente para dispararas ala vez Un conflict se hace efectvo silos eventos asociados las trasiciones se vrifian simuténeamente Jn (e)m (em YQ. NAE agua 22 Enambos tory cet confi, Un confcto efectivo corresponde a una ambiguedad en la. deseripcion inguna descripcion correcta puede poseer conflitosefetivasgran e Aupen ide Teo Ge Di Stas ps Meroe ase TIC En la modelacion de todos los ejemplos de ls segunda parte del programa hemos utlizado redes de Petri conformes (vivasy binaria) y sin confictosefecvos Las redes de Pets son una heramienta de modelacén car, fil de utilizar y no ambigua En particular, comprende los conceptos de receptividad y sensi, lo cual permite obtener las descrpciones con un minimo de informacion safiiente para sinttzar los sistemas. Fecitan la representacion de evoluciones simutineas, Esto conduce Aescripciones mas simples que las ostenibes con prafos de estados. Ovras propiedades (consecueneia de su adaptacion a a repesentacion de evoluciones simultiness) son su ‘Pesbilidad (Fycilided de modificacones locales) y su capacidad pars permiir escrpciones de forma descendente, es decir, por refinamienos sucesivos Permiten una primera aproximacion al problema de la validacian él correcto funcionamiento de un sistema, La sincronizacion en un diagrams de estados ‘abo mediante la interpretacion (seméntica) asociada alos grafos. Sin embargo, esta levara a informacion sobre la sincronizacion se encuentra explicitamente en le esructura y ‘marcado del modelo realizado con red de Pet. Por lo tanto, la estracturay ol marca cde la red de Pett conttenenciertamformactin sobre el funcionamienta del sistema, la ‘ual es muy superir ala que contene Ia estructura y el estado inci de Tos grafos de cstados El valor de esta informacion es el aumentar la legibildad de las desripciones, asi como el posibiltar “cierto nivel” de vericaion formal de las mismas (esto de su ‘buen comportanienta). Permite también abordar una mayor proteccién del equipo ‘realizado frente a algunos problemas de Ia explotacién (detecciOn de averias, ete.) Es decir las redes de Petri pueden aportar una notable ayuda a la concepcin y utlizacion Desde un punto de vista practco, la estrategia que se utiliza con las redes de Patri consiste en comprobar sla descripcion verifica una serie de propiedades de buen “Funcionamient (por emplo,ausencia de Bloqueos y concts, exclusion mua, ete.) estas propiedades son, en gran part, independientes de las funcones espesfcas que realiza el sistema, asi como del model utlizado para describslo, Un aniisis de valide= de una deseripcion consiste en la comprobacion de un conjunto de esas propiedades sobre el modelo que se esudia, Este andlss se puede realizar gracias ala informacion 7‘ue, independientemente de la inerpretacion asociads & a red de Petri, comtene su ‘estructura y su marcado iicial tra de ls ventajas de las redes de Petri comsste en gue hacen posible una ‘ci traduesion de las propicdases de buen funcionamiento del sistema en propidades especticas de las reds de Per. De este modo, las propiedades de vivacdad (especificas de las rees de Petri caractrizan, de forma simple a presencia o ausenca de bloqueos totaleso parciales del sistema [La simplificacidn que se puede realizar de una desripcion es muy Knitada. Se reduce a lt eliminacion de redundancias estructuales en la red de Pet. Se han esarrollado otros métodos de simplifcacion basados en un aportesuplemntario de informacién. En cualquier caso, conviene dejar bien sentado que, més que buscar escripciones minimizadas, lo que se persigue ex simplifcar un poco la descrpcion orginal, de forma que su comprensin no se dfculte extraordinaramente (Ora propiedad interesante radica en que la red de Pet, iterretade de severdo con los convenios expuestos, consituye wa herramiemta de modelacin Independiente de cualquier tecnologia (elect dries, Mudie, ee.)[REDES DE PETRI: INTRODUCCION, + Propésite de las Redes de Petri, 4 Es una herramienta prafica y matemstica de descripciin funcional, idénes para modelar sistemas dindmicos 4: Permiten expresar y analizar objetives de funcionamicnto y seguridad funcional en un sistema. “4 Pueden modetar el comportaiento concurrente, mediante un conjunto de marcas (testigos © tokens) que indican una situacién dada del sistema 0 proceso bajo estudio. + Definiciones: 4 Una Red de Petri es un grafo orientado, en el que intervie~ ren dos clases de nodos: J Lugares (0) -D representados como cireulos Transiciones I)? representados como rectangulos Lnidos por areos orientados(-*) ir un ndimero natural (9 cero) de ‘4% El conjunto de marcas asociadas a cada uno de los lugares de Jared, en un momento dado, se denomina mareado de la red, + Bjemplo de una Red de Petri: (C1mige ee abzmace @ Alconjunto de marcas asociadss en un instante dado a cada ‘uno de los lugares de la Rese le denomina marcado de la + Definicién forma PN={P,T FW Mh P= fu Ps Pos Pa) conju fnito de lugares. T= flyby tt) - EE cI a ce 5 baa festa bes peta Stee se Soa pescaProgramacion en C de una P.N. re De Hintz/Tabak; ejemplo de un piloto automatico: ‘nt main(votd) PassedSelfTest = FALSE; ‘while(\PassedSelfTest) {TransitionOne(); PassodSelfTost = TransitionTwo(); i ‘TransitionTnree(); pro I Belt.test /* Initialize all if(Synchronized 6 !ChannelOne & IChannelTwo) ‘Transitionsix(); else (Synchronized & ChannelOne & IChannelTwo) ‘TransitionSeven(); else if(Synchronized @ ChannelOne & ChannelTwo) ‘TransitionSeventeen(); } configure hardware variables. */ [ous Mranaiionsin(void) ChannelOnePulseWidth = TemporaryPulseWidth; ‘ChannelOne = TRUE; Dpto. Electrénica. UAHTer RETRO ATORIG sa© |) cH fey (es || bermms DISEO DE PROGRAMAS PARA veo. 18, mos ISRO DE OGRAMAS PARA uC. 16 Tree | See =) Se He ee es led a eat Fez > fo me cee H