Taller internacional sobre redes de Petri e ingeniería de software en Newcastle upon Tyne (Reino Unido)

Los días 20 y 21 de junio de 2011 se celebrará en Newcastle upon Tyne (Reino Unido) un taller internacional sobre redes de Petri e ingeniería de software.

Para desarrollar con eficacia sistemas complejos formados por componentes de software y hardware que interactúen y reaccionen entre sí, es determinante el uso de un lenguaje preciso en distintas etapas del proceso de desarrollo.

Las redes de Petri gozan de una popularidad creciente en este campo, al proporcionar un lenguaje uniforme que facilita las tareas de modelado, validación y verificación. Las redes de Petri, o Petri nets, que relacionan lugares y transiciones, abarcan varios lenguajes de modelado matemático que se emplean para la distribución de sistemas distribuidos. Su popularidad obedece a que estas redes permiten representar relaciones fundamentales de causalidad, coincidencia y elección de manera natural, con precisión matemática y sin perder legibilidad.

Durante el taller se abordarán los temas siguientes:
- modelado;
- validación y ejecución;
- verificación;
- aplicación de redes de Petri en ingeniería de software;
- problemas abiertos y nuevas aplicaciones de las redes de Petri;
- relación entre redes de Petri e ingeniería de software;
- herramientas.Para más información, consulte: http://www.informatik.uni-hamburg.de/TGI/events/pnse11/(se abrirá en una nueva ventana)