public class CBPCreatorUnfolding extends AbstractRelSetCreator implements CBPCreator<NetSystem,Node>
| Modifier and Type | Field and Description |
|---|---|
protected Map<Node,Node> |
augmentationFunction |
protected NetSystem |
augmentedNet |
protected Map<Transition,Set<Node>> |
cutOfLocalConfContainsAugmentedPlaceForTransition |
protected boolean[][] |
eventContinuationMatrix |
protected List<Transition> |
nodesForTransitiveCausalityMatrixUnfolding |
protected OccurrenceNet |
occurrenceNet |
protected List<Transition> |
transitionsForEventContinutationMatrix |
protected boolean[][] |
transitiveCausalityMatrixUnfolding |
protected CompletePrefixUnfolding |
unfolding |
setMatrixEntry, setMatrixEntryOrderprotected NetSystem augmentedNet
protected Map<Transition,Set<Node>> cutOfLocalConfContainsAugmentedPlaceForTransition
protected CompletePrefixUnfolding unfolding
protected OccurrenceNet occurrenceNet
protected boolean[][] eventContinuationMatrix
protected List<Transition> transitionsForEventContinutationMatrix
protected boolean[][] transitiveCausalityMatrixUnfolding
protected List<Transition> nodesForTransitiveCausalityMatrixUnfolding
public static CBPCreatorUnfolding getInstance()
public CausalBehaviouralProfile<NetSystem,Node> deriveCausalBehaviouralProfile(NetSystem pn)
CBPCreatorderiveCausalBehaviouralProfile in interface CBPCreator<NetSystem,Node>protected void clear()
protected CausalBehaviouralProfile<NetSystem,Node> deriveCooccurrence(CausalBehaviouralProfile<NetSystem,Node> profile)
public CausalBehaviouralProfile<NetSystem,Node> deriveCausalBehaviouralProfile(NetSystem pn, Collection<Node> nodes)
CBPCreatorderiveCausalBehaviouralProfile in interface CBPCreator<NetSystem,Node>protected void deriveCutOfLocalConfContainsAugmentedPlaceForTransition()
public CausalBehaviouralProfile<NetSystem,Node> deriveCausalBehaviouralProfile(BehaviouralProfile<NetSystem,Node> profile)
CBPCreatorderiveCausalBehaviouralProfile in interface CBPCreator<NetSystem,Node>profile - the behavioural profileprotected void createAugmentedNet(NetSystem pn)
protected void deriveEventContinuation()
protected boolean isEventContinuation(Transition e, Transition f)
Copyright © 2017. All rights reserved.