|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.converting.PetriNetTooWFNet
public class PetriNetTooWFNet
Title: PetriNetTooWFNet
Description: Converts a PetriNet object into an o WFNet object (by specifying the source place and the sink place). Additional source and sink places will be turned into communication places. See PetriNetToWFNet for additional details.
Copyright: Copyright (c) 2004
Company:
Constructor Summary | |
---|---|
PetriNetTooWFNet()
|
Method Summary | |
---|---|
boolean |
accepts(ProvidedObject object)
This function tells the interface which results are accepted by this Plugin |
oWFNet |
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 PetriNetTooWFNet()
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 oWFNet 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 |