andbur.au.qut.nets.unfolding

Class BPstructBPSys

java.lang.Object

andbur.hub.top.uma.DNodeSys

andbur.hub.top.petrinet.unfold.DNodeSys_PetriNet

andbur.au.qut.nets.unfolding.BPstructBPSys

public class BPstructBPSys
extends andbur.hub.top.petrinet.unfold.DNodeSys_PetriNet

This class is a modification to the original implementation provided in uma package

Nested Class Summary

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

andbur.hub.top.uma.DNodeSys.EventPreSet

Field Summary

Fields inherited from class andbur.hub.top.petrinet.unfold.DNodeSys_PetriNet

terminalNodes

Fields inherited from class andbur.hub.top.uma.DNodeSys

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

Constructor Summary

Constructors

Constructor and Description
BPstructBPSys(andbur.hub.top.petrinet.PetriNet net)

Method Summary

Modifier and Type	Method and Description
protected void	finalize_setProperNames()
void	packageProperNames()

Methods inherited from class andbur.hub.top.petrinet.unfold.DNodeSys_PetriNet

getOriginalNode, getResultNode, isTerminal

Methods inherited from class andbur.hub.top.uma.DNodeSys

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

Methods inherited from class java.lang.Object

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

Constructor Detail

BPstructBPSys

public BPstructBPSys(andbur.hub.top.petrinet.PetriNet net)
              throws andbur.hub.top.uma.InvalidModelException

Throws:

andbur.hub.top.uma.InvalidModelException

Method Detail

finalize_setProperNames

protected void finalize_setProperNames()

Overrides:

finalize_setProperNames in class andbur.hub.top.uma.DNodeSys

packageProperNames

public void packageProperNames()