File tools
Tools to handle various tasks regarding reading and writing files Help


File Tools

The file tools are used to handle various tasks regarding reading and writing files.

Export as PNG

Export as PNG

Exports a sheet as a PNG file.

Export as EPS

Export as EPS

Exports a sheet as a EPS file.

Print

Print sheet

Prints a sheet to your printer.

The sheet is printed just the same as when exported to EPS.

Save MSC

Save MSC

Saves a Message Sequence Chart as UML in a XML file.

The XML format is based on the OMG specification.

Save XML

Save XML

Saves a net in a XML file.

Load net

Load net

Loads a Petri net from a file. Supported formats are CPN-XML and PNML.

Export graph to Graphviz

Export graph to Graphviz

Exports a graph to a Graphviz-file.

Version 7, Thu 13 Jul 2006 10:26:37 [tveon] - created Thu 25 May 2006 16:29:52 [tveon]