Comentarios Finales

PetrA ofrece al usuario varias elementos en su interfaz que le permiten al usuario trabajar con la red de Petri como un documento y editarla con el ratón. Los paneles auxiliares Inspector y Preferences se utilizan para definir o visualizar atributos de los elementos gráficos de la red de Petri. PetrA se ha utilizado para modelar su propio manejo de su sección crítica.