Next: El manejo del panel
Up: Editando redes de Petri
Previous: Editando redes de Petri
Para eliminar un objeto se debe seleccionar --esto se realiza eligiendo
el icono Cursor del panel de herramientas y después presionando el
botón de ratón sobre el objeto deseado--, y después utilizar la
opción Cut del menú Edit.
Amilcar Meneses
2002-11-08