Next: Ejemplos
Up: Editando redes de Petri
Previous: El manejo del panel
El panel Preferences permite al usuario editar algunas
características generales de los documentos. Principalmente se hace
enfoque en los colores asociados a los lugares, transiciones, arcos y
objetos seleccionados.
Amilcar Meneses
2002-11-08