org.processmining.plugins.uma

Class DNodeSys_PtNet

java.lang.Object

hub.top.uma.DNodeSys

org.processmining.plugins.uma.DNodeSys_PtNet

public class DNodeSys_PtNet
extends hub.top.uma.DNodeSys

A DNodeSys representation of a Petri net for constructing a McMillan prefix of the Petri net. This class is used in DNodeBP.

Author:

Dirk Fahland

Nested Class Summary

Nested classes/interfaces inherited from class hub.top.uma.DNodeSys

hub.top.uma.DNodeSys.EventPreSet

Field Summary

Fields

Modifier and Type	Field and Description
java.util.HashSet<java.lang.Short>	terminalNodes All nodes corresponding to nodes of the original Petri net without successor.

Fields inherited from class hub.top.uma.DNodeSys

currentNameID, eventPreSetAbstraction, eventPreSetIDs, fireableEventIndex, fireableEvents, hasDynamicSynchronization, initialRun, maxHistoryDepth, NAME_TAU, nameToID, preConditions, preConEvents, properLabels, uniqueNames

Constructor Summary

Constructors

Constructor and Description
DNodeSys_PtNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking) Construct DNodeSys from a Petri net.

Method Summary

Modifier and Type	Method and Description
protected void	finalize_setProperLabels()
java.lang.Object	getOriginalNode(hub.top.uma.DNode d)
java.lang.String	getOriginalNodeLabel(hub.top.uma.DNode d)
hub.top.uma.DNode	getResultNode(java.lang.Object n)
boolean	isTerminal(hub.top.uma.DNode d)

Methods inherited from class hub.top.uma.DNodeSys

finalize_generateIndexes, finalize_initialRun, finalize_setPreConditions, finalize_setProperNames, getEmbeddingVisitor, getInfo, getTransitionForID, init_setProperNames, toDot

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

terminalNodes

public java.util.HashSet<java.lang.Short> terminalNodes

All nodes corresponding to nodes of the original Petri net without successor.

Constructor Detail

DNodeSys_PtNet

public DNodeSys_PtNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                      org.processmining.models.semantics.petrinet.Marking initMarking)
               throws hub.top.uma.InvalidModelException

Construct DNodeSys from a Petri net. Every transition becomes a DNodeSys.fireableEvents, places are stored as corresponding pre- and post-conditions.

Parameters:

net -

Throws:

hub.top.uma.InvalidModelException

Method Detail

isTerminal

public boolean isTerminal(hub.top.uma.DNode d)

Overrides:

isTerminal in class hub.top.uma.DNodeSys

Parameters:

d -

Returns:

true iff the given node 'd' represents a Petri net place without successor, i.e. a structurally dead place.

See Also:

hub.top.greta.oclets.canonical.DNodeSys#isTerminal(hub.top.greta.oclets.canonical.DNode)

finalize_setProperLabels

protected void finalize_setProperLabels()

Specified by:

finalize_setProperLabels in class hub.top.uma.DNodeSys

getOriginalNode

public java.lang.Object getOriginalNode(hub.top.uma.DNode d)

Specified by:

getOriginalNode in class hub.top.uma.DNodeSys

getOriginalNodeLabel

public java.lang.String getOriginalNodeLabel(hub.top.uma.DNode d)

Specified by:

getOriginalNodeLabel in class hub.top.uma.DNodeSys

getResultNode

public hub.top.uma.DNode getResultNode(java.lang.Object n)

Specified by:

getResultNode in class hub.top.uma.DNodeSys