org.processmining.converting
Class PetriNetToHeuristicNetConverter

java.lang.Object
  extended by org.processmining.converting.PetriNetToHeuristicNetConverter
All Implemented Interfaces:
ConvertingPlugin, Plugin

public class PetriNetToHeuristicNetConverter
extends java.lang.Object
implements ConvertingPlugin

Title: Petri net to Heuristic net

Description: This class converts Petri nets to Heuristic nets. The Petri net should have a single start/end transition because a Heuristic net has a single start/end task

. If this is not the case, one of the start/end transitions of the Petri net will be randomly chosen to become the single start/end taks of the converted Heuristic net. Note that this may lead to undesirable side-effects.

IMPORTANT!!! This plug-in depends on the PetriNetReduction plug-in! The reason is that, before the Petri net is converted to a Heuristic net, this Petri net is reduced so that the number of invisible tasks is minimized. Note that this reduction may remove constructs like milestones etc.

Version:
1.0
Author:
Ana Karla A. de Medeiros.

Constructor Summary
PetriNetToHeuristicNetConverter()
           
 
Method Summary
 boolean accepts(ProvidedObject object)
          This function tells the interface which results are accepted by this Plugin
 MiningResult convert(ProvidedObject original)
          Execute this conversion algorithm on the given log file.
 java.lang.String getHtmlDescription()
          Gets a description of this plugin in HTML.
 java.lang.String getName()
          Gets the name of this plugin.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PetriNetToHeuristicNetConverter

public PetriNetToHeuristicNetConverter()
Method Detail

getName

public java.lang.String getName()
Description copied from interface: Plugin
Gets the name of this plugin. Implementing classes should use this method to return their own name.

Specified by:
getName in interface Plugin
Returns:
the name of this plugin

getHtmlDescription

public java.lang.String getHtmlDescription()
Description copied from interface: Plugin
Gets a description of this plugin in HTML. The string returned by this method should only contain the contents of the body of the html page, so the html, head and body tags should not be used. This HTML page is displayed in the help system or as context sensitive help. The HTML body can be stored in an external file in the /lib/documentation/ sub folder and in this case it can be obtained by calling PluginDocumentationLoader.load(this)

Specified by:
getHtmlDescription in interface Plugin
Returns:
a description of this plugin in HTML

convert

public MiningResult convert(ProvidedObject original)
Description copied from interface: ConvertingPlugin
Execute this conversion algorithm on the given log file.

Specified by:
convert in interface ConvertingPlugin
Parameters:
original - The original mining result
Returns:
the result of the conversion, in a MininResult object

accepts

public boolean accepts(ProvidedObject object)
Description copied from interface: ConvertingPlugin
This function tells the interface which results are accepted by this Plugin

Specified by:
accepts in interface ConvertingPlugin
Parameters:
object - The original mining result
Returns:
Whether or not this result is accepted