public class DNodeSys_PtNet
extends hub.top.uma.DNodeSys
DNodeSys
representation of a Petri net for constructing a McMillan
prefix of the Petri net. This class is used in DNodeBP
.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.
|
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. |
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) |
public java.util.HashSet<java.lang.Short> terminalNodes
public DNodeSys_PtNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking) throws hub.top.uma.InvalidModelException
DNodeSys
from a Petri net. Every transition becomes
a DNodeSys.fireableEvents
, places are stored as corresponding
pre- and post-conditions.net
- hub.top.uma.InvalidModelException
public boolean isTerminal(hub.top.uma.DNode d)
isTerminal
in class hub.top.uma.DNodeSys
d
- true
iff the given node 'd' represents a Petri net place
without successor, i.e. a structurally dead place.hub.top.greta.oclets.canonical.DNodeSys#isTerminal(hub.top.greta.oclets.canonical.DNode)
protected void finalize_setProperLabels()
finalize_setProperLabels
in class hub.top.uma.DNodeSys
public java.lang.Object getOriginalNode(hub.top.uma.DNode d)
getOriginalNode
in class hub.top.uma.DNodeSys
public java.lang.String getOriginalNodeLabel(hub.top.uma.DNode d)
getOriginalNodeLabel
in class hub.top.uma.DNodeSys
public hub.top.uma.DNode getResultNode(java.lang.Object n)
getResultNode
in class hub.top.uma.DNodeSys