Redes de petri temporizadas
Páginas: 4 (946 palabras)
Publicado: 11 de agosto de 2010
REDES DE PETRI TEMPORIZADAS DETERMINISTAS
Universidad Nacional de Trujillo
Facultad de Ciencias Físicas y Matemáticas
Escuela Académico Profesional de Informática
López Cenizario Julio César,Mendoza Garay Omar,
Saavedra Rosas Hobby, Sánchez Aranda Gerardo
19 de Marzo del 2009
Resumen
En el presente trabajo trataremos sobre el modelado de Sistemas Dinámicos de Eventos Discretos(DEDS), los cuales se caracterizan porque los estados y eventos son discretos. Los DEDS han crecido en importancia en la medida que lo hacen la automatización y el control en la tecnología moderna.Estos exhiben evoluciones paralelas, las cuales producen conductas complejas debido a la presencia de fenómenos de sincronización y recursos compartidos. La optimización del diseño, la planificación(control del rendimiento), el monitoreo, y la implementación (posiblemente tolerante a fallos) son los usos críticos que requieren de la modelación, y del análisis cuantitativo y cualitativo. Las Redes dePetri son un formalismo para la modelación de sistemas concurrentes, definidos por Carl Adam Petri en 1962. Las Redes de Petri permiten la verificación de los sistemas usando técnicas matemáticasbien definidas, y que la conducta de un sistema se exprese gráfica y algebraicamente.
Se propuso entre otros objetivos, investigar y compilar herramientas e información sobre el estado del arte de lasRedes de Petri. Se realizaron tres aplicaciones utilizando la teoría de las Redes de Petri, modelando, simulando y evaluando las prestaciones de dichos sistemas [1].
Además soportan la expresiónnatural de conceptos tales como la sincronización y la comunicación entre procesos; y desde sus orígenes han incorporado extensiones, como la adición del dato tiempo, para producir las Redes de PetriTemporizadas (TPN), debido a que en la fase de automatización de los procesos industriales, normalmente la temporización está definida, es decir, se conocen los tiempos de retardo de los procesos....
Universidad Nacional de Trujillo
Facultad de Ciencias Físicas y Matemáticas
Escuela Académico Profesional de Informática
López Cenizario Julio César,Mendoza Garay Omar,
Saavedra Rosas Hobby, Sánchez Aranda Gerardo
19 de Marzo del 2009
Resumen
En el presente trabajo trataremos sobre el modelado de Sistemas Dinámicos de Eventos Discretos(DEDS), los cuales se caracterizan porque los estados y eventos son discretos. Los DEDS han crecido en importancia en la medida que lo hacen la automatización y el control en la tecnología moderna.Estos exhiben evoluciones paralelas, las cuales producen conductas complejas debido a la presencia de fenómenos de sincronización y recursos compartidos. La optimización del diseño, la planificación(control del rendimiento), el monitoreo, y la implementación (posiblemente tolerante a fallos) son los usos críticos que requieren de la modelación, y del análisis cuantitativo y cualitativo. Las Redes dePetri son un formalismo para la modelación de sistemas concurrentes, definidos por Carl Adam Petri en 1962. Las Redes de Petri permiten la verificación de los sistemas usando técnicas matemáticasbien definidas, y que la conducta de un sistema se exprese gráfica y algebraicamente.
Se propuso entre otros objetivos, investigar y compilar herramientas e información sobre el estado del arte de lasRedes de Petri. Se realizaron tres aplicaciones utilizando la teoría de las Redes de Petri, modelando, simulando y evaluando las prestaciones de dichos sistemas [1].
Además soportan la expresiónnatural de conceptos tales como la sincronización y la comunicación entre procesos; y desde sus orígenes han incorporado extensiones, como la adición del dato tiempo, para producir las Redes de PetriTemporizadas (TPN), debido a que en la fase de automatización de los procesos industriales, normalmente la temporización está definida, es decir, se conocen los tiempos de retardo de los procesos....
Leer documento completo
Regístrate para leer el documento completo.