Selection
A file browser is opened to choose the name of a file to which all the
currently selected objects (places, transitions, arcs, currently displayed
kinds of annotations and comments) are exported in PostScript format.
Entire Screen
A file browser is opened to choose the name of a file to which all the currently selected objects (places, transitions, arcs, currently displayed kinds of annotations and
comments) are exported in PostScript
format.
Note: The status of a place is always displayed by appropriate colours. Entry places are coloured green, exit places are coloured red and internal places are uncoloured.