Save an existing file


An existing petri-net file can be saved by pressing the following incon on the task-bar which is illustrated below.The same result can be obtained by pressing Ctrl-S.