|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.converting.PetriNetToWFNet
public class PetriNetToWFNet
Title: PetriNetToWFNet
Description: Converts a PetriNet object into a WFNet object (by specifying the source place and the sink place). Additional source and sink places will be left out.
Copyright: Copyright (c) 2004
Company:
Constructor Summary | |
---|---|
PetriNetToWFNet()
|
Method Summary | |
---|---|
boolean |
accepts(ProvidedObject object)
This function tells the interface which results are accepted by this Plugin |
WFNet |
convert(PetriNet source)
|
MiningResult |
convert(ProvidedObject object)
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. |
void |
setSinkPlace(Place place)
|
void |
setSourcePlace(Place place)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PetriNetToWFNet()
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 WFNet convert(PetriNet source)
public void setSourcePlace(Place place)
public void setSinkPlace(Place place)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |