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.InvalidModelExceptionpublic boolean isTerminal(hub.top.uma.DNode d)
isTerminal in class hub.top.uma.DNodeSysd - 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.DNodeSyspublic java.lang.Object getOriginalNode(hub.top.uma.DNode d)
getOriginalNode in class hub.top.uma.DNodeSyspublic java.lang.String getOriginalNodeLabel(hub.top.uma.DNode d)
getOriginalNodeLabel in class hub.top.uma.DNodeSyspublic hub.top.uma.DNode getResultNode(java.lang.Object n)
getResultNode in class hub.top.uma.DNodeSys