El manejo del panel Inspector

El Inspector se utiliza para revisar y editar los atributos principales de los objetos gráficos que componen a la red de Petri (lugares, transiciones, arcos y toda la red). Cuando se selecciona un lugar se muestra el número de tokens. Si se ha seleccionado una transición se muestra una bandera que indica si la transición está habilitada o no (por omisión todas las transiciones se encuentran activas). Si se tiene seleccionado un arco, entonces se muestra su peso.

  

Figure 5.3: Distintas vistas del panel Inspector

Si no se tiene seleccionado ningún objeto gráfico, el inspector da la información general de la red de Petri (número de arcos y número de transiciones).

Además el Inspector permite al usuario cambiar el estado de los objetos gráficos. Si se desea cambiar el número de tokens de un lugar hay que modificar e valor del canpo de texto y presionar el botón Apply del Inspector. Si se desea cambiar el peso de un arco, entonces se coloca el valor deseado en el campo de texto y se presiona el botón Apply del Inspector para realizar esta acción. Para activar o desactivar una transición, se modifica el valor del switch activo del Inspector.