|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.converting.WFNetToPetriNet
public class WFNetToPetriNet
Title: WFNetToPetriNet
Description: Convert a WF net into a Petri net.
Copyright: Copyright (c) 2004
Company:
Constructor Summary | |
---|---|
WFNetToPetriNet()
|
Method Summary | |
---|---|
boolean |
accepts(ProvidedObject object)
This function tells the interface which results are accepted by this Plugin |
MiningResult |
convert(ProvidedObject object)
Execute this conversion algorithm on the given log file. |
PetriNet |
convert(WFNet source)
|
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 |
---|
public WFNetToPetriNet()
Method Detail |
---|
public java.lang.String getName()
Plugin
getName
in interface Plugin
public java.lang.String getHtmlDescription()
Plugin
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)
getHtmlDescription
in interface Plugin
public MiningResult convert(ProvidedObject object)
ConvertingPlugin
convert
in interface ConvertingPlugin
object
- The original mining result
MininResult
objectpublic boolean accepts(ProvidedObject object)
ConvertingPlugin
accepts
in interface ConvertingPlugin
object
- The original mining result
public PetriNet convert(WFNet source)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |