|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.converting.WFNetToEPC
public class WFNetToEPC
Title: Labeled WF Net to EPC convertor
Description: Takes a labeled WF-net and converts it into an EPC. This convertor heavily depends on the convertor form labeled WF nets to YAWL models.
Copyright: Copyright (c) 2004 Eric Verbeek
Company: TU/e
Constructor Summary | |
---|---|
WFNetToEPC()
|
Method Summary | |
---|---|
boolean |
accepts(ProvidedObject object)
This function tells the interface which results are accepted by this Plugin |
ConfigurableEPC |
convert(PetriNet net)
Convert the given Petri net into an EPC. |
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. |
java.lang.String |
getName(ModelGraphVertex element)
Construct a unqiue name for the given object. |
java.lang.String |
getType(Transition sphereTransition,
java.util.HashSet<PNNode> sphere,
boolean isJoin)
Determine the join/split type of the task corresponding to the given transition. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public WFNetToEPC()
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 java.lang.String getName(ModelGraphVertex element)
element
- ModelGraphVertex THe given object.
public ConfigurableEPC convert(PetriNet net)
net
- PetriNet The given Petri net.
public java.lang.String getType(Transition sphereTransition, java.util.HashSet<PNNode> sphere, boolean isJoin)
sphereTransition
- Transition The given transition.sphere
- HashSet Its join/split sphere (depends on isJoin).isJoin
- boolean Whether the join split is requested (true) or the split type (false).
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |