000070370 001__ 70370 000070370 005__ 20190214135732.0 000070370 020__ $$a84-7288-045-1 000070370 037__ $$aBOOK-2018-014 000070370 041__ $$aspa 000070370 100__ $$aSilva, Manuel$$b- 000070370 245__ $$aLas Redes de Petri : en la Automática y la Informática 000070370 250__ $$a1ª ed. 000070370 260__ $$aMadrid$$bEditorial AC$$c1985 000070370 300__ $$a454 000070370 520__ $$aLas redes de Petri constituyen la más natural y potente extensión de los grafos de estado que se ha propuesto en la literatura técnica. Con relación a los grafos de estado, las redes de Petri permiten la representación clara y condensada del paralelismo y la sincronización, facilitando con ello la descripción o modelación de sistemas, así como su posterior realización. Este texto se situa en los niveles de introducción a las aplicaciones y teoría de las redes de Petri, insistiendo especialmente sobre la obtención de descripciones y técnicas para su realización física. En este sentido queremos indicar que al tratarse de un texto para la enseftanza y consulta se han primado los aspectos didácticos evitando en todo momento el simple enciclopedismo. La exposición se desarrolla pretendiendo conjugar intuición y rigor, evitando los aspectos meramente recetarios y tratando de evidenciar propiedades básicas. En cualquier caso, se han omitido determinadas generalizaciones que hubieran provocado una pérdida de claridad en la exposición al complicarse los enunciados, notaciones, etc. Ahondando en las consideraciones anteriores, se han introducido gran cantidad de ejemplos de diversa complejidad, aunque de fácil aprehensión. De este modo, se llega a utilizar en numerosas ocasiones diferentes tipos de evoluciones de conjuntos de carros. Otros ejemplos típicos presentados son los lectores y redactores, los filósofos y los «spaghetti», sistemas del tipo productor-consumidor, etc. En resumen, los diferentes sistemas que se modelan a lo largo del texto han sido extraídos tanto del campo de la Automática como del de la Informática. La creciente complejidad de los automatismos lógicos, así como 4.e la concepción y utilización de los computadores digitales, etc., hace que aparezcan, cada vez con mayor frecuencia, subsistemas evolucionando e interaccionando simultáneamente. En estos casos, más que hablar de sistemas secuenciales, conviene hablar de sistemas con evoluciones simultáneas o paralelas, o sistemas concurrentes*. La dificultad de la mente humana para dominar la concepción de los sistemas concurrentes hace extremadamente interesante la inserción de una etapa de análisis de los modelos obtenidos antes de proceder a su realización. Esta etapa de análisis se aborda en este texto bajo una óptica cualitativa (no cuantitativa) denominada validación. En un análisis de validez se comprobará que el modelo del sistema que se concibe está exento de una serie de errores estructurales y dinámicos, aunque no se pretenderá demostrar su corrección. Si un modelo no es válido, se procederá a su comprobación y eventual modificación antes de pasar a realizarlo. Las redes de Petri son una herramienta matemática aplicable al modelado de sistemas discretos concurrentes que admite una valiosísima representaci6n gráfica, que sin lugar a dudas es uno de sus mayores atractivos desde el punto de vista industrial. Por otro lado, la realización de redes de Petri se puede llevar a cabo sin dificultad con cualquier tecnología (electrónica, fluídica, etc.). Las dos cualidades anteriores se completan con la potencia de la teoría de validaci6n sobre ellas desarrollada, principalmente, a lo largo de la última década. Las tres propiedades básicas anteriores permiten afirmar que las redes de Petri constituyen una muy interesante herramienta para la concepción de sistemas discretos concurrentes. Además, cabe señ.alar su capacidad para permitir la construcción de descripciones válidas de sistemas concurrentes mediante refinamientos sucesivos (topdown). De todo ello trataremos de convencer al lector a lo largo de los capítulos y anexos que siguen. No obstante, es importante considerar que, como en toda actividad de diseñ.o, la utilidad de la herramienta depende sobremanera de la metodología con que se emplee, así como de la disponibilidad de sistemas automáticos de ayuda (CAD, Computer A ided Design). A estos aspectos hemos dedicado una especial atención. En particular, se presentan diversos algoritmos que permiten abordar el análisis, la simplificación, la realización, etc. de los modelos construidos durante el proceso de concepción. La codificación de los algoritmos presentados en el texto no debe plantear mayores dificultades, cualquiera que sea el lenguaje de programación que se adopte. Antes de entrar en consideraciones sobre prerrequisitos para la lectura del libro o sobre su estructura, queremos señ.alar que al ser éste un texto de introducción, no han sido abordados algunos temas. Aquéllos relativos a Complejidad y Decidabilidad, así como Lenguajes y redes de Petri, se introducen en [PETE 81a]. El estudio de la evaluación de prestaciones (análisis cuantitativo) con redes de Petri, puede abordarse a partir de [FLOR 81), [RAMA 80) y [SIFA 77]. Por último, es importante resaltar que visando una mayor potencia de descripción o/y la obtención de modelos más compactos se han propuesto en la literatura numerosas extensiones se presentan rápidamente en el capítulo 2. Entre otras extensiones, previsiblemente de gran importancia práctica en los añ.os venideros, están las redes Predicado-Transición [GENR 79) y las redes de Petri coloreadas [JENS 81). 000070370 540__ $$9info:eu-repo/semantics/openAccess $a Esta obra está sujeta a una licencia de uso Creative Commons. Se permite la reproducción total o parcial, la distribución, la comunicación pública de la obra y la creación de obras derivadas, siempre que no sea con finalidades comerciales, y sempre que se reconzca la autoria de la obra original. $u https://creativecommons.org/licenses/by-nc/4.0/ 000070370 6531_ $$aredes de petri 000070370 655_4 $$ainfo:eu-repo/semantics/publishedVersion 000070370 655_4 $$ainfo:eu-repo/semantics/book 000070370 8560_ $$fzaguan@unizar.es 000070370 8564_ $$s136397636$$uhttps://zaguan.unizar.es/record/70370/files/BOOK-2018-014.pdf 000070370 909CO $$ooai:zaguan.unizar.es:70370$$pbooks 000070370 980__ $$aBOOK$$bDOCENTE