public class Unfolder_PetriNet
extends java.lang.Object
Constructor and Description |
---|
Unfolder_PetriNet(andbur.hub.top.petrinet.PetriNet net,
BPstructBP.MODE mode,
java.util.HashSet<java.lang.String> silent)
Initialize the unfolder to construct a finite complete prefix of a safe
Petri net.
|
Modifier and Type | Method and Description |
---|---|
void |
computeUnfolding()
Compute the unfolding of the net
|
BPstructBP |
getBP()
Get the branching process
|
java.util.HashMap<java.lang.Short,andbur.hub.top.petrinet.Node> |
getMapDNodeTrans() |
java.lang.String |
getOriginalLabel(java.lang.String string) |
BPstructBPSys |
getSys() |
java.lang.String |
getUnfoldingAsDot() |
andbur.hub.top.petrinet.PetriNet |
getUnfoldingAsPetriNet()
Convert the unfolding into a Petri net and return this Petri net
|
andbur.hub.top.petrinet.PetriNet |
getUnfoldingAsPetriNet(java.util.Set<java.lang.String> visibleLabels,
java.util.HashMap<andbur.hub.top.petrinet.Node,Multiplicity> repetitionIndex,
java.util.HashMap<andbur.hub.top.petrinet.Node,andbur.hub.top.petrinet.Node> originalMap) |
public Unfolder_PetriNet(andbur.hub.top.petrinet.PetriNet net, BPstructBP.MODE mode, java.util.HashSet<java.lang.String> silent)
net
- a safe Petri netpublic void computeUnfolding()
public andbur.hub.top.petrinet.PetriNet getUnfoldingAsPetriNet(java.util.Set<java.lang.String> visibleLabels, java.util.HashMap<andbur.hub.top.petrinet.Node,Multiplicity> repetitionIndex, java.util.HashMap<andbur.hub.top.petrinet.Node,andbur.hub.top.petrinet.Node> originalMap)
public andbur.hub.top.petrinet.PetriNet getUnfoldingAsPetriNet()
public java.lang.String getUnfoldingAsDot()
public BPstructBP getBP()
public BPstructBPSys getSys()
public java.lang.String getOriginalLabel(java.lang.String string)
public java.util.HashMap<java.lang.Short,andbur.hub.top.petrinet.Node> getMapDNodeTrans()