/// <summary>
/// Writes the compiled petri net to a file in a given format
/// </summary>
/// <param name="format">The format of the file (currently 'owfn', 'png', 'dot')</param>
/// <param name="filename">The output filename</param>
/// <exception cref="System.IO.IOException">Thrown when an error occurs during writing to the output file</exception>
/// <exception cref="System.Security.SecurityException">Thrown if the user has no rights to access temporary path</exception>
/// <exception cref="System.ComponentModel.Win32Exception">Thrown when an error occurs calling external APIs</exception>
/// <exception cref="System.ArgumentException">Thrown when an unsupported <c>format</c> was supplied</exception>
public void WriteOutput(String filename, String format)
{
switch (format)
{
case "owfn":
net.OutputOwfn(filename);
break;
case "png":
net.outputPng(filename);
break;
case "dot":
net.outputDot(filename);
break;
default:
throw new ArgumentException("Unknown or unsupported output format");
}
}
