Contents

• Contents
• Introducción
  • Herramientas de redes de Petri
  • PetrA
• Redes de Petri
  • Generalidades de las redes de Petri
  • Definiciones formales
  • Aspectos de Modelación con redes de Petri
    • Ejemplo de Modelación de flujo de datos
    • Ejemplo de Modelación de protocolos de comunicación.
  • Propiedades de comportamiento
    • Alcanzabilidad
    • Acotamiento
    • Activa
    • Reversibilidad y estado inicial
    • Cubrir
    • Persistencia
    • Distancia sincrónica
    • Equidad
  • Métodos de Análisis
    • Árbol de alcanzabilidad.
    • Matriz de incidencia y ecuación de estado
    • Técnicas de reducción o descomposición
  • Comentarios Finales
• Manejo de redes de Petri
  • Tipos de redes de Petri
    • Redes de Petri clásicas
    • Extensiones comúnes de Redes de Petri
  • Una base de manejo común
  • Comentarios Finales
• PetrA: Petri Nets Application
  • Planteamiento
    • La plataforma de desarrollo
    • El modelo base de la red de Petri
    • La arquitectura general de la aplicación
  • Diseño e implantación
    • La clase Controller
    • La clase PNController
    • La clase PNView
    • La clase PNMatrix
    • La clase Matrix
    • La clase Element
    • La clase Figure
    • La clase Place
    • La clase Transition
    • La clase Connection
  • El manejo de archivos
  • Comentarios finales
• Uso de PetrA
  • La aplicación PetrA
    • Manejo de documentos
    • Editando redes de Petri
  • Ejemplos
  • Comentarios Finales
• Posibles extensiones de PetrA
  • Redes de Petri con capacidad finita
  • Redes de Petri con tiempo
  • Redes de Petri jerárquicas
  • Redes de Petri coloreadas
    • Comentarios Finales
• Conclusiones y perspectivas
  • Conclusiones
  • Perspectivas
• Bibliography