|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.converting.PetriNetReduction
public class PetriNetReduction
Title: Liveness and boundedness preserving reduction for Petri nets
Description: Reduces a Petri net given a well-known set of liveness and boundedness preserving rules.
T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
Copyright: Copyright (c) 2004
Company:
Constructor Summary | |
---|---|
PetriNetReduction()
|
Method Summary | |
---|---|
boolean |
accepts(ProvidedObject object)
Determines whether this pluging accepts the given objects as input. |
MiningResult |
convert(ProvidedObject object)
Reduces the first Petri net among the given objects. |
java.lang.String |
getHtmlDescription()
Gets a description of this plugin in HTML. |
java.lang.String |
getName()
Gets the name of this plugin. |
PetriNet |
reduce(PetriNet providedPN)
Apply the liveness and boundedness preserving reduction rules on the given Petri net as long as reductions can be applied. |
PetriNet |
reduceOnce(PetriNet providedPN)
Apply the liveness and boundedness preserving reduction rules on the given Petri net in one pass. |
void |
setNonReducableNodes(java.util.ArrayList nodes)
Specify which nodes in the Petri net should not be reduced. |
void |
setNonReducableNodes(java.util.HashSet nodes)
Specify which nodes in the Petri net should not be reduced. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PetriNetReduction()
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)
convert
in interface ConvertingPlugin
object
- The given objects.
public boolean accepts(ProvidedObject object)
accepts
in interface ConvertingPlugin
object
- The given objects.
public void setNonReducableNodes(java.util.ArrayList nodes)
nodes
- The set of nodes not to reduce.public void setNonReducableNodes(java.util.HashSet nodes)
nodes
- The set of nodes not to reduce.public PetriNet reduce(PetriNet providedPN)
providedPN
- The given Petri net.
public PetriNet reduceOnce(PetriNet providedPN)
providedPN
- The given Petri net.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |