public class BPstructBPSys
extends andbur.hub.top.petrinet.unfold.DNodeSys_PetriNet
Constructor and Description |
---|
BPstructBPSys(andbur.hub.top.petrinet.PetriNet net) |
Modifier and Type | Method and Description |
---|---|
protected void |
finalize_setProperNames() |
void |
packageProperNames() |
getOriginalNode, getResultNode, isTerminal