Index

.&.Modelling.CdOd.RepairCd
absentTransitionsRequirementModelling.PetriNet.Reach.Filter
actionLimitsModelling.ActivityDiagram.Config
actionNodeNamesModelling.ActivityDiagram.MatchAd
actionNodesModelling.ActivityDiagram.MatchPetri
actionRepetitionDistanceModelling.ActivityDiagram.ActionSequences
actionSequencesModelling.ActivityDiagram.SelectAS
activityDiagram 
1 (Function)Modelling.ActivityDiagram.MatchAd
2 (Function)Modelling.ActivityDiagram.MatchPetri
3 (Function)Modelling.ActivityDiagram.SelectPetri
4 (Function)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
5 (Function)Modelling.ActivityDiagram.SelectAS
6 (Function)Modelling.ActivityDiagram.EnterAS
activityFinalNodes 
1 (Function)Modelling.ActivityDiagram.Config
2 (Function)Modelling.ActivityDiagram.MatchPetri
AdActionNodeModelling.ActivityDiagram.Datatype
AdActivityFinalNodeModelling.ActivityDiagram.Datatype
AdConfig 
1 (Type/Class)Modelling.ActivityDiagram.Config
2 (Data Constructor)Modelling.ActivityDiagram.Config
adConfig 
1 (Function)Modelling.ActivityDiagram.MatchAd
2 (Function)Modelling.ActivityDiagram.MatchPetri
3 (Function)Modelling.ActivityDiagram.SelectPetri
4 (Function)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
5 (Function)Modelling.ActivityDiagram.SelectAS
6 (Function)Modelling.ActivityDiagram.EnterAS
adConfigBitWidthModelling.ActivityDiagram.Alloy
adConfigScopeModelling.ActivityDiagram.Alloy
adConfigToAlloyModelling.ActivityDiagram.Alloy
adConfigToAlloy'Modelling.ActivityDiagram.Alloy
AdConnection 
1 (Type/Class)Modelling.ActivityDiagram.Datatype
2 (Data Constructor)Modelling.ActivityDiagram.Datatype
addModelling.Types
addConflictCommonPreconditionsModelling.PetriNet.Types
AdDecisionNodeModelling.ActivityDiagram.Datatype
addPartNamesModelling.PetriNet.MatchToMath
addPretextModelling.Auxiliary.Output
AddRelationshipModelling.CdOd.Types
addText 
1 (Function)Modelling.PetriNet.Pick
2 (Function)Modelling.PetriNet.Find
3 (Function)Modelling.PetriNet.MatchToMath
4 (Function)Modelling.ActivityDiagram.MatchAd
5 (Function)Modelling.ActivityDiagram.MatchPetri
6 (Function)Modelling.ActivityDiagram.SelectPetri
7 (Function)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
8 (Function)Modelling.ActivityDiagram.SelectAS
9 (Function)Modelling.ActivityDiagram.EnterAS
10 (Function)Modelling.CdOd.RepairCd
11 (Function)Modelling.CdOd.SelectValidCd
12 (Function)Modelling.CdOd.NameCdError
13 (Function)Modelling.CdOd.MatchCdOd
14 (Function)Modelling.CdOd.DifferentNames
AdFlowFinalNodeModelling.ActivityDiagram.Datatype
AdForkNodeModelling.ActivityDiagram.Datatype
AdInitialNodeModelling.ActivityDiagram.Datatype
adjNodesModelling.ActivityDiagram.Datatype
AdJoinNodeModelling.ActivityDiagram.Datatype
AdMergeNodeModelling.ActivityDiagram.Datatype
AdNodeModelling.ActivityDiagram.Datatype
AdObjectNodeModelling.ActivityDiagram.Datatype
AdvConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
advConfig 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Types
3 (Function)Modelling.PetriNet.MatchToMath
AggregationModelling.CdOd.Types
aggregationLimitsModelling.CdOd.Types
aggregationNameModelling.CdOd.Types
aggregationPartModelling.CdOd.Types
aggregationWholeModelling.CdOd.Types
aggregationWholeOmittedDefaultMultiplicityModelling.CdOd.Types
AllBoundedModelling.PetriNet.Reach.Type
allCdMutationsModelling.CdOd.Types
allDrawSettingsModelling.PetriNet.Types
allNodesModelling.PetriNet.Types
allNonNegativeModelling.PetriNet.Reach.Type
allowedCdMutations 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.MatchCdOd
AllowedProperties 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
allowedProperties 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.NameCdError
allowedTokenChangesModelling.PetriNet.Reach.Type
allowEverythingModelling.CdOd.Types
allowLayoutMangling 
1 (Function)Modelling.Auxiliary.Shuffle.All
2 (Function)Modelling.Auxiliary.Shuffle.NamesAndLayout
allowNothingModelling.CdOd.Types
AlloyConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
alloyConfig 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Types
3 (Function)Modelling.PetriNet.Types
4 (Function)Modelling.PetriNet.Types
5 (Function)Modelling.PetriNet.MatchToMath
alloyInstanceToOdModelling.CdOd.Auxiliary.Util
alterFlowModelling.PetriNet.Types
alterNodeModelling.PetriNet.Types
annotatedModelling.CdOd.Types
AnnotatedCdModelling.CdOd.Types
AnnotatedChangeAndCd 
1 (Type/Class)Modelling.CdOd.CdAndChanges.Instance
2 (Data Constructor)Modelling.CdOd.CdAndChanges.Instance
annotatedChangeClassDiagramModelling.CdOd.CdAndChanges.Instance
AnnotatedClassDiagram 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
annotatedClassesModelling.CdOd.Types
annotatedRelationshipChangeModelling.CdOd.CdAndChanges.Instance
annotatedRelationshipsModelling.CdOd.Types
Annotation 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
annotationModelling.CdOd.Types
anonymiseObjectsModelling.CdOd.Types
anonymousObjectProportionModelling.CdOd.Types
answerLength 
1 (Function)Modelling.ActivityDiagram.SelectAS
2 (Function)Modelling.ActivityDiagram.EnterAS
anyAssociationNamesModelling.CdOd.Types
AnyCdModelling.CdOd.Types
AnyClassDiagram 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
anyClassNamesModelling.CdOd.Types
anyCompositionCyclesInvolveInheritancesModelling.CdOd.Types
AnyRelationshipModelling.CdOd.Types
anyRelationshipNameModelling.CdOd.Types
anyRelationshipsModelling.CdOd.Types
AnyStructuralWeakeningModelling.CdOd.RepairCd
anyThickEdgeModelling.CdOd.Types
areNonPreservingModelling.PetriNet.Reach.Type
ArrowDensityConstraints 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
arrowDensityConstraints 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
ArticlePreferenceModelling.CdOd.Types
articleToUse 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.NameCdError
assertReachPointsModelling.PetriNet.Reach.Reach
asSingletonModelling.PetriNet.Parser
AssociationModelling.CdOd.Types
associationFromModelling.CdOd.Types
associationLimitsModelling.CdOd.Types
associationNameModelling.CdOd.Types
associationNamesModelling.CdOd.Types
associationOmittedDefaultMultiplicityModelling.CdOd.Types
associationToModelling.CdOd.Types
atLeastActiveModelling.PetriNet.Types
AuxiliaryPetriNodeModelling.ActivityDiagram.PetriNet
auxiliaryPetriNodeAbsent 
1 (Function)Modelling.ActivityDiagram.MatchPetri
2 (Function)Modelling.ActivityDiagram.SelectPetri
auxiliaryPetriNodesModelling.ActivityDiagram.MatchPetri
basePropertiesOfBaseCdOnModelling.CdOd.SelectValidCd
BasicConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
basicConfig 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Types
3 (Function)Modelling.PetriNet.Types
4 (Function)Modelling.PetriNet.Types
5 (Function)Modelling.PetriNet.MatchToMath
bimapDeadlockInstanceModelling.PetriNet.Reach.Deadlock
bimapNetModelling.PetriNet.Reach.Type
bimapNetGoalModelling.PetriNet.Reach.Reach
bimapReachInstanceModelling.PetriNet.Reach.Reach
BoundedModelling.PetriNet.Reach.Type
ByDirectionModelling.CdOd.Types
ByNameModelling.CdOd.Types
byName 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.NameCdError
cacheCdModelling.CdOd.Output
cacheNetModelling.PetriNet.Diagram
cacheOdModelling.CdOd.Output
calculateThickAnyRelationshipsModelling.CdOd.Types
Capacity 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Property
capacity 
1 (Function)Modelling.PetriNet.Reach.Type
2 (Function)Modelling.PetriNet.Reach.Reach
3 (Function)Modelling.PetriNet.Reach.Deadlock
CdModelling.CdOd.Types
CdCandidatesModelling.CdOd.SelectValidCd
CdConstraints 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
cdConstraints 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.NameCdError
CdDrawSettings 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
cdDrawSettings 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.NameCdError
4 (Function)Modelling.CdOd.MatchCdOd
5 (Function)Modelling.CdOd.DifferentNames
cDiagramModelling.CdOd.DifferentNames
CdMutationModelling.CdOd.Types
Change 
1 (Type/Class)Modelling.Types
2 (Data Constructor)Modelling.Types
3 (Data Constructor)Modelling.PetriNet.Types
4 (Type/Class)Modelling.PetriNet.Types
changeModelling.PetriNet.Reach.Step
ChangeAndCd 
1 (Type/Class)Modelling.CdOd.CdAndChanges.Instance
2 (Data Constructor)Modelling.CdOd.CdAndChanges.Instance
changeClassDiagramModelling.CdOd.CdAndChanges.Instance
ChangeConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
changeConfig 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Types
3 (Function)Modelling.PetriNet.Types
4 (Function)Modelling.PetriNet.Types
5 (Function)Modelling.PetriNet.MatchToMath
ChangeKindModelling.CdOd.Types
ChangeLimitModelling.CdOd.Types
changesModelling.CdOd.RepairCd
checkAdConfigModelling.ActivityDiagram.Config
checkBasicConfigModelling.PetriNet.Types
checkCdConstraintsModelling.CdOd.Types
checkCdDrawPropertiesModelling.CdOd.Types
checkCdDrawSettingsModelling.CdOd.Types
checkCdMutationsModelling.CdOd.Types
checkChangeConfigModelling.PetriNet.Types
checkClassConfigModelling.CdOd.Types
checkClassConfigAndChangesModelling.CdOd.RepairCd
checkClassConfigAndObjectPropertiesModelling.CdOd.Types
checkClassConfigWithPropertiesModelling.CdOd.Types
checkConfigForFindModelling.PetriNet.Find
checkConfigForPickModelling.PetriNet.Pick
checkConflictConfigModelling.PetriNet.Conflict
checkDeadlockConfigModelling.PetriNet.Reach.Deadlock
checkDifferentNamesConfigModelling.CdOd.DifferentNames
checkDifferentNamesInstanceModelling.CdOd.DifferentNames
checkEnterASConfigModelling.ActivityDiagram.EnterAS
checkEnterASInstanceModelling.ActivityDiagram.EnterAS
checkFindAuxiliaryPetriNodesConfigModelling.ActivityDiagram.FindAuxiliaryPetriNodes
checkFindBasicConfigModelling.PetriNet.Find
checkFindConcurrencyConfigModelling.PetriNet.Concurrency
checkFindConflictConfigModelling.PetriNet.Conflict
checkFindConflictPlacesConfigModelling.PetriNet.ConflictPlaces
checkGraphLayoutsModelling.PetriNet.Types
checkGraphToMathConfigModelling.PetriNet.MatchToMath
checkMatchAdConfigModelling.ActivityDiagram.MatchAd
checkMatchCdOdConfigModelling.CdOd.MatchCdOd
checkMatchCdOdInstanceModelling.CdOd.MatchCdOd
checkMatchPetriConfigModelling.ActivityDiagram.MatchPetri
checkMathConfigModelling.PetriNet.MatchToMath
checkNameCdErrorConfigModelling.CdOd.NameCdError
checkNameCdErrorInstanceModelling.CdOd.NameCdError
checkObjectDiagramModelling.CdOd.Types
checkObjectPropertiesModelling.CdOd.Types
checkOmittedDefaultMultiplicitiesModelling.CdOd.Types
checkPetriInstanceModelling.ActivityDiagram.SelectPetri
checkPetriNodeCountModelling.PetriNet.Types
checkPickConcurrencyConfigModelling.PetriNet.Concurrency
checkPickConflictConfigModelling.PetriNet.Conflict
checkReachConfigModelling.PetriNet.Reach.Reach
checkRepairCdConfigModelling.CdOd.RepairCd
checkRepairCdInstanceModelling.CdOd.RepairCd
checkSelectASConfigModelling.ActivityDiagram.SelectAS
checkSelectASInstanceModelling.ActivityDiagram.SelectAS
checkSelectPetriConfigModelling.ActivityDiagram.SelectPetri
checkSelectValidCdConfigModelling.CdOd.SelectValidCd
checkSelectValidCdInstanceModelling.CdOd.SelectValidCd
checkTaskTextModelling.Auxiliary.Output
classAndNonInheritanceNames 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.NameCdError
ClassConfig 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
classConfig 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.NameCdError
4 (Function)Modelling.CdOd.MatchCdOd
5 (Function)Modelling.CdOd.DifferentNames
ClassDiagram 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
classDiagram 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.NameCdError
ClassDiagramInstance 
1 (Type/Class)Modelling.CdOd.CdAndChanges.Instance
2 (Data Constructor)Modelling.CdOd.CdAndChanges.Instance
classDiagramsModelling.CdOd.SelectValidCd
classLimitsModelling.CdOd.Types
classNamesModelling.CdOd.Types
classNamesOdModelling.CdOd.Types
combinePartsModelling.CdOd.CD2Alloy.Transform
compAdvConstraintsModelling.PetriNet.Alloy
compBasicConstraintsModelling.PetriNet.Alloy
compChangeModelling.PetriNet.Alloy
completelyInhabitedModelling.CdOd.Types
CompositionModelling.CdOd.Types
CompositionCyclesModelling.CdOd.Types
compositionCyclesModelling.CdOd.Types
compositionLimitsModelling.CdOd.Types
compositionNameModelling.CdOd.Types
compositionPartModelling.CdOd.Types
compositionWholeModelling.CdOd.Types
compositionWholeOmittedDefaultMultiplicityModelling.CdOd.Types
computeActionSequenceLevelsModelling.ActivityDiagram.ActionSequences
Concurrent 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
Conflict 
1 (Data Constructor)Modelling.PetriNet.Types
2 (Type/Class)Modelling.PetriNet.Types
ConflictConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
conflictConfig 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Types
conflictDistractorAddExtraPreconditionsModelling.PetriNet.Types
conflictDistractorOnlyConcurrentLikeModelling.PetriNet.Types
conflictDistractorOnlyConflictLikeModelling.PetriNet.Types
conflictInitialModelling.PetriNet.ConflictPlaces
ConflictPlacesModelling.PetriNet.Conflict
conflictPlacesModelling.PetriNet.Types
conflictPlacesShowModelling.PetriNet.Conflict
conflictTransModelling.PetriNet.Types
conformsModelling.PetriNet.Reach.Type
connectedModelling.PetriNet.Alloy
ConnectionModelling.PetriNet.Reach.Type
connections 
1 (Function)Modelling.ActivityDiagram.Datatype
2 (Function)Modelling.PetriNet.Reach.Type
connectionTokenBehaviorModelling.PetriNet.Reach.Type
ConsecutiveNumbersModelling.CdOd.DifferentNames
contributingToProblemModelling.CdOd.NameCdError
convertPetriModelling.PetriNet.Parser
convertToPetriNetModelling.ActivityDiagram.PetriNet
convertToPlantUMLModelling.ActivityDiagram.PlantUMLConverter
convertToPlantUML'Modelling.ActivityDiagram.PlantUMLConverter
convertToSimpleModelling.ActivityDiagram.PetriNet
correctSequenceModelling.ActivityDiagram.SelectAS
countFusableTransitionsConsumingModelling.PetriNet.Reach.Type
countFusableTransitionsProducingModelling.PetriNet.Reach.Type
countOfActivityFinalNodesModelling.ActivityDiagram.MatchAd
countOfAuxiliaryPlacesModelling.ActivityDiagram.FindAuxiliaryPetriNodes
countOfAuxiliaryTransitionsModelling.ActivityDiagram.FindAuxiliaryPetriNodes
countOfDecisionNodesModelling.ActivityDiagram.MatchAd
countOfFlowFinalNodesModelling.ActivityDiagram.MatchAd
countOfForksModelling.ActivityDiagram.MatchAd
countOfInitialNodesModelling.ActivityDiagram.MatchAd
countOfJoinsModelling.ActivityDiagram.MatchAd
countOfMergeNodesModelling.ActivityDiagram.MatchAd
countOfNonAuxiliaryNodesModelling.ActivityDiagram.FindAuxiliaryPetriNodes
countOfPetriNodesBounds 
1 (Function)Modelling.ActivityDiagram.MatchPetri
2 (Function)Modelling.ActivityDiagram.SelectPetri
3 (Function)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
createRunCommandModelling.CdOd.CD2Alloy.Transform
CustomModelling.CdOd.NameCdError
customReasonsModelling.CdOd.NameCdError
cyclesModelling.ActivityDiagram.Config
DeadlockConfig 
1 (Type/Class)Modelling.PetriNet.Reach.Deadlock
2 (Data Constructor)Modelling.PetriNet.Reach.Deadlock
deadlockEvaluationModelling.PetriNet.Reach.Deadlock
deadlockInitialModelling.PetriNet.Reach.Deadlock
DeadlockInstance 
1 (Type/Class)Modelling.PetriNet.Reach.Deadlock
2 (Data Constructor)Modelling.PetriNet.Reach.Deadlock
deadlockSyntaxModelling.PetriNet.Reach.Deadlock
deadlockTaskModelling.PetriNet.Reach.Deadlock
decisionMergePairsModelling.ActivityDiagram.Config
decisionNodesModelling.ActivityDiagram.MatchPetri
DefaultModelling.PetriNet.Reach.Property
defaultAdConfigModelling.ActivityDiagram.Config
defaultAdvConfigModelling.PetriNet.Types
defaultAlloyConfigModelling.PetriNet.Types
defaultBasicConfigModelling.PetriNet.Types
defaultCdConstraintsModelling.CdOd.Types
defaultCdDrawSettingsModelling.CdOd.Types
defaultChangeConfigModelling.PetriNet.Types
defaultConstraintsModelling.PetriNet.Alloy
defaultDeadlockConfigModelling.PetriNet.Reach.Deadlock
defaultDeadlockInstanceModelling.PetriNet.Reach.Deadlock
defaultDifferentNamesConfigModelling.CdOd.DifferentNames
defaultDifferentNamesInstanceModelling.CdOd.DifferentNames
defaultDifferentNamesTaskTextModelling.CdOd.DifferentNames
DefaultedLimitedLinking 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
defaultedLimitedLinkingModelling.CdOd.Types
defaultedLimitsModelling.CdOd.Types
defaultedLinkingModelling.CdOd.Types
defaultedRangeModelling.CdOd.Types
defaultEnterASConfigModelling.ActivityDiagram.EnterAS
defaultEnterASInstanceModelling.ActivityDiagram.EnterAS
defaultFilterConfigModelling.PetriNet.Reach.Filter
defaultFindAuxiliaryPetriNodesConfigModelling.ActivityDiagram.FindAuxiliaryPetriNodes
defaultFindAuxiliaryPetriNodesInstanceModelling.ActivityDiagram.FindAuxiliaryPetriNodes
defaultFindConcurrencyConfigModelling.PetriNet.Types
defaultFindConcurrencyInstanceModelling.PetriNet.Concurrency
defaultFindConflictConfigModelling.PetriNet.Types
defaultFindConflictInstanceModelling.PetriNet.Conflict
defaultFindConflictPlacesConfigModelling.PetriNet.ConflictPlaces
defaultFindConflictPlacesInstanceModelling.PetriNet.ConflictPlaces
defaultGraphConfigModelling.PetriNet.Types
defaultGraphToMathInstanceModelling.PetriNet.MatchToMath
defaultMatchAdConfigModelling.ActivityDiagram.MatchAd
defaultMatchAdInstanceModelling.ActivityDiagram.MatchAd
defaultMatchCdOdConfigModelling.CdOd.MatchCdOd
defaultMatchCdOdInstanceModelling.CdOd.MatchCdOd
defaultMatchPetriConfigModelling.ActivityDiagram.MatchPetri
defaultMatchPetriInstanceModelling.ActivityDiagram.MatchPetri
defaultMathConfigModelling.PetriNet.MatchToMath
defaultMathToGraphInstanceModelling.PetriNet.MatchToMath
defaultNameCdErrorAnswerModelling.CdOd.NameCdError
defaultNameCdErrorConfigModelling.CdOd.NameCdError
defaultNameCdErrorInstanceModelling.CdOd.NameCdError
defaultOmittedDefaultMultiplicitiesModelling.CdOd.Types
defaultPickConcurrencyConfigModelling.PetriNet.Types
defaultPickConcurrencyInstanceModelling.PetriNet.Concurrency
defaultPickConflictConfigModelling.PetriNet.Types
defaultPickConflictInstanceModelling.PetriNet.Conflict
defaultPlantUmlConfigModelling.ActivityDiagram.PlantUMLConverter
defaultPropertiesModelling.CdOd.Types
defaultReachConfigModelling.PetriNet.Reach.Reach
defaultReachInstanceModelling.PetriNet.Reach.Reach
defaultRepairCdConfigModelling.CdOd.RepairCd
defaultRepairCdInstanceModelling.CdOd.RepairCd
defaultSelectASConfigModelling.ActivityDiagram.SelectAS
defaultSelectASInstanceModelling.ActivityDiagram.SelectAS
defaultSelectPetriConfigModelling.ActivityDiagram.SelectPetri
defaultSelectPetriInstanceModelling.ActivityDiagram.SelectPetri
defaultSelectValidCdConfigModelling.CdOd.SelectValidCd
defaultSelectValidCdInstanceModelling.CdOd.SelectValidCd
deleteFlowModelling.PetriNet.Types
deleteNodeModelling.PetriNet.Types
DenotedModelling.CdOd.Types
diagramsModelling.CdOd.MatchCdOd
differentNamesModelling.CdOd.DifferentNames
DifferentNamesConfig 
1 (Type/Class)Modelling.CdOd.DifferentNames
2 (Data Constructor)Modelling.CdOd.DifferentNames
differentNamesEvaluationModelling.CdOd.DifferentNames
differentNamesInitialModelling.CdOd.DifferentNames
DifferentNamesInstance 
1 (Type/Class)Modelling.CdOd.DifferentNames
2 (Data Constructor)Modelling.CdOd.DifferentNames
differentNamesSolutionModelling.CdOd.DifferentNames
differentNamesSyntaxModelling.CdOd.DifferentNames
differentNamesTaskModelling.CdOd.DifferentNames
DifferentNamesTaskTextElementModelling.CdOd.DifferentNames
DirectionsAdviceModelling.CdOd.DifferentNames
directionsAdviceModelling.Auxiliary.Output
DoubleRelationshipsModelling.CdOd.Types
doubleRelationshipsModelling.CdOd.Types
DrawableModelling.PetriNet.Types
drawAdToFileModelling.ActivityDiagram.PlantUMLConverter
drawCdModelling.CdOd.Output
drawFindWithModelling.PetriNet.Find
drawNetModelling.PetriNet.Diagram
drawOdModelling.CdOd.Output
drawOdFromInstanceModelling.CdOd.Output
DrawSettings 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
drawSettings 
1 (Function)Modelling.ActivityDiagram.SelectAS
2 (Function)Modelling.ActivityDiagram.EnterAS
3 (Function)Modelling.CdOd.RepairCd
4 (Function)Modelling.CdOd.SelectValidCd
5 (Function)Modelling.CdOd.NameCdError
drawSettingsWithCommandModelling.PetriNet.Types
drawToFileModelling.PetriNet.Reach.Draw
drawUsing 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
dueToModelling.CdOd.NameCdError
emptyArrModelling.CdOd.Auxiliary.Util
emptyNetModelling.PetriNet.Types
enterActionSequenceModelling.ActivityDiagram.EnterAS
enterASModelling.ActivityDiagram.EnterAS
enterASAlloyModelling.ActivityDiagram.EnterAS
EnterASConfig 
1 (Type/Class)Modelling.ActivityDiagram.EnterAS
2 (Data Constructor)Modelling.ActivityDiagram.EnterAS
enterASEvaluationModelling.ActivityDiagram.EnterAS
enterASInitialModelling.ActivityDiagram.EnterAS
EnterASInstance 
1 (Type/Class)Modelling.ActivityDiagram.EnterAS
2 (Data Constructor)Modelling.ActivityDiagram.EnterAS
EnterASSolution 
1 (Type/Class)Modelling.ActivityDiagram.EnterAS
2 (Data Constructor)Modelling.ActivityDiagram.EnterAS
enterASSolutionModelling.ActivityDiagram.EnterAS
enterASSyntaxModelling.ActivityDiagram.EnterAS
enterASTaskModelling.ActivityDiagram.EnterAS
equallingModelling.PetriNet.Reach.Step
errorReasonsModelling.CdOd.NameCdError
exampleModelling.PetriNet.Reach.Type
exampleInstanceModelling.PetriNet.Reach.Deadlock
examWs2024Modelling.PetriNet.PetriDeadlock.Instance
executeModelling.PetriNet.Reach.Step
executeIOModelling.PetriNet.Reach.Step
executesModelling.PetriNet.Reach.Step
ExtendsAnd 
1 (Type/Class)Modelling.CdOd.CD2Alloy.Transform
2 (Data Constructor)Modelling.CdOd.CD2Alloy.Transform
extractAuxiliaryPetriNodesModelling.ActivityDiagram.MatchPetri
extraText 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Types
3 (Function)Modelling.PetriNet.Types
4 (Function)Modelling.PetriNet.Types
5 (Function)Modelling.PetriNet.MatchToMath
6 (Function)Modelling.ActivityDiagram.MatchAd
7 (Function)Modelling.ActivityDiagram.MatchPetri
8 (Function)Modelling.ActivityDiagram.SelectPetri
9 (Function)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
10 (Function)Modelling.ActivityDiagram.SelectAS
11 (Function)Modelling.ActivityDiagram.EnterAS
12 (Function)Modelling.CdOd.RepairCd
13 (Function)Modelling.CdOd.SelectValidCd
14 (Function)Modelling.CdOd.NameCdError
15 (Function)Modelling.CdOd.MatchCdOd
16 (Function)Modelling.CdOd.DifferentNames
FieldPlacementModelling.CdOd.CD2Alloy.Transform
FilterConfig 
1 (Type/Class)Modelling.PetriNet.Reach.Filter
2 (Data Constructor)Modelling.PetriNet.Reach.Filter
filterConfig 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
filterFirstModelling.CdOd.Auxiliary.Util
finalNodesAdviceModelling.ActivityDiagram.Common
finalNodesAdviceTextModelling.ActivityDiagram.Common
finalNodesAdviceTitleModelling.ActivityDiagram.Common
finalNodesAndTransitionsAdviceModelling.ActivityDiagram.Common
FinalPetriNodeModelling.ActivityDiagram.PetriNet
findAuxiliaryPetriNodesModelling.ActivityDiagram.FindAuxiliaryPetriNodes
findAuxiliaryPetriNodesAlloyModelling.ActivityDiagram.FindAuxiliaryPetriNodes
FindAuxiliaryPetriNodesConfig 
1 (Type/Class)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
2 (Data Constructor)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
findAuxiliaryPetriNodesEvaluationModelling.ActivityDiagram.FindAuxiliaryPetriNodes
findAuxiliaryPetriNodesInitialModelling.ActivityDiagram.FindAuxiliaryPetriNodes
FindAuxiliaryPetriNodesInstance 
1 (Type/Class)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
2 (Data Constructor)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
FindAuxiliaryPetriNodesSolution 
1 (Type/Class)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
2 (Data Constructor)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
findAuxiliaryPetriNodesSolutionModelling.ActivityDiagram.FindAuxiliaryPetriNodes
findAuxiliaryPetriNodesTaskModelling.ActivityDiagram.FindAuxiliaryPetriNodes
findConcurrencyModelling.PetriNet.Concurrency
FindConcurrencyConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
findConcurrencyEvaluationModelling.PetriNet.Concurrency
findConcurrencyGenerateModelling.PetriNet.Concurrency
findConcurrencySolutionModelling.PetriNet.Concurrency
findConcurrencySyntaxModelling.PetriNet.Concurrency
findConcurrencyTaskModelling.PetriNet.Concurrency
findConflictModelling.PetriNet.Conflict
FindConflictConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
findConflictEvaluationModelling.PetriNet.Conflict
findConflictGenerateModelling.PetriNet.Conflict
findConflictPlacesEvaluationModelling.PetriNet.Conflict
findConflictPlacesSolutionModelling.PetriNet.Conflict
findConflictPlacesSyntaxModelling.PetriNet.ConflictPlaces
findConflictPlacesTaskModelling.PetriNet.ConflictPlaces
findConflictSyntaxModelling.PetriNet.Conflict
findConflictTaskModelling.PetriNet.Conflict
findFittingRandomElementsModelling.Auxiliary.Common
findInitialModelling.PetriNet.Find
FindInstance 
1 (Type/Class)Modelling.PetriNet.Find
2 (Data Constructor)Modelling.PetriNet.Find
findTaskInstanceModelling.PetriNet.Find
FlipModelling.CdOd.Types
flowModelling.PetriNet.Types
flowChangeModelling.PetriNet.Types
flowChangeOverallModelling.PetriNet.Types
flowFinalNodes 
1 (Function)Modelling.ActivityDiagram.Config
2 (Function)Modelling.ActivityDiagram.MatchPetri
FlowFromATransitionIsZeroOrLessModelling.PetriNet.Types
flowInModelling.PetriNet.Types
flowOut 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Types
flowOverallModelling.PetriNet.Types
FlowToATransitionIsZeroOrLessModelling.PetriNet.Types
forbiddenCycleLengthsModelling.PetriNet.Reach.Filter
forkJoinPairsModelling.ActivityDiagram.Config
forksModelling.ActivityDiagram.MatchPetri
from 
1 (Function)Modelling.ActivityDiagram.Datatype
2 (Function)Modelling.PetriNet.MatchToMath
fromClassDiagramModelling.CdOd.Types
fromInstanceModelling.CdOd.CdAndChanges.Instance
fromInstanceWithNameOverlapModelling.CdOd.CdAndChanges.Instance
fromInstanceWithPredefinedNamesModelling.CdOd.CdAndChanges.Instance
fromNameMappingModelling.Types
fusableTransitionsConsumingAreExactlyModelling.PetriNet.Reach.Deadlock
fusableTransitionsProducingAreExactlyModelling.PetriNet.Reach.Deadlock
generateActionSequenceModelling.ActivityDiagram.ActionSequences
generateActionSequencesWithPetriModelling.ActivityDiagram.ActionSequences
generateActionSequenceWithPetriAndRepetitionModelling.ActivityDiagram.ActionSequences
generateCdsModelling.CdOd.Generate
generateDeadlockModelling.PetriNet.Reach.Deadlock
generatedWrongInstancesModelling.PetriNet.MatchToMath
generateReachModelling.PetriNet.Reach.Reach
generateSetOfCdsModelling.CdOd.RepairCd
GenericClassDiagramInstanceModelling.CdOd.CdAndChanges.Instance
getDefaultNetModelling.PetriNet.Diagram
getDifferentNamesTaskModelling.CdOd.DifferentNames
getFinalNodesModelling.ActivityDiagram.Datatype
getFirstInstanceModelling.Auxiliary.Common
getInitialNodesModelling.ActivityDiagram.Datatype
getMatchCdOdTaskModelling.CdOd.MatchCdOd
getNetModelling.PetriNet.Diagram
getODInstancesModelling.CdOd.MatchCdOd
GivenCdModelling.CdOd.DifferentNames
GivenCdsModelling.CdOd.MatchCdOd
GivenOdModelling.CdOd.DifferentNames
GivenOdsModelling.CdOd.MatchCdOd
goalModelling.PetriNet.Reach.Reach
GraphConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
graphConfig 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Types
3 (Function)Modelling.PetriNet.Types
4 (Function)Modelling.PetriNet.Types
5 (Function)Modelling.PetriNet.MatchToMath
graphLayouts 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Reach.Reach
3 (Function)Modelling.PetriNet.Reach.Deadlock
graphToMathModelling.PetriNet.MatchToMath
graphToMathEvaluationModelling.PetriNet.MatchToMath
GraphToMathInstanceModelling.PetriNet.MatchToMath
graphToMathSyntaxModelling.PetriNet.MatchToMath
graphToMathTaskModelling.PetriNet.MatchToMath
guardModelling.ActivityDiagram.Datatype
guardBoundModelling.PetriNet.Reach.Property
hasCompositionCyclesModelling.CdOd.Types
hasCompositionsPreventingPartsModelling.CdOd.Types
hasDoubleRelationshipsModelling.CdOd.Types
hasGroupedRepeatsModelling.PetriNet.Reach.Filter
hasInsufficientTransitionCoverageModelling.PetriNet.Reach.Filter
hasIsolatedNodesModelling.PetriNet.Reach.Type
hasLimitedIsolatedObjectsModelling.CdOd.Types
hasMultipleInheritancesModelling.CdOd.Types
hasNonTrivialInheritanceCyclesModelling.CdOd.Types
hasRandomisableNamesModelling.Auxiliary.Common
hasRepetitiveSubsequenceModelling.PetriNet.Reach.Filter
hasReverseInheritancesModelling.CdOd.Types
hasReverseRelationshipsModelling.CdOd.Types
hasSelfLoopsModelling.CdOd.Types
hasSpaceballsPrefixModelling.PetriNet.Reach.Filter
hasThickEdgesModelling.CdOd.Types
hideBranchConditions 
1 (Function)Modelling.ActivityDiagram.MatchAd
2 (Function)Modelling.ActivityDiagram.MatchPetri
3 (Function)Modelling.ActivityDiagram.SelectPetri
4 (Function)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
5 (Function)Modelling.ActivityDiagram.SelectAS
6 (Function)Modelling.ActivityDiagram.EnterAS
hideNodeNames 
1 (Function)Modelling.ActivityDiagram.SelectPetri
2 (Function)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
hidePetriNodeLabelsModelling.ActivityDiagram.SelectPetri
hidePlaceNamesModelling.PetriNet.Types
hideTransitionNamesModelling.PetriNet.Types
hideWeight1Modelling.PetriNet.Types
hintModelling.CdOd.RepairCd
hoveringInformationModelling.Auxiliary.Output
IllegalStructuralWeakeningModelling.CdOd.RepairCd
illegalStructuralWeakeningsModelling.CdOd.RepairCd
incomingArrowsPerPlaceModelling.PetriNet.Reach.Type
incomingArrowsPerTransitionModelling.PetriNet.Reach.Type
IncorrectCd 
1 (Data Constructor)Modelling.CdOd.RepairCd
2 (Data Constructor)Modelling.CdOd.NameCdError
InheritanceModelling.CdOd.Types
InheritanceCyclesModelling.CdOd.Types
inheritanceCyclesModelling.CdOd.Types
inheritanceLimitsModelling.CdOd.Types
initial 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Types
initialMarkingModelling.PetriNet.Types
initialMarkingMathModelling.PetriNet.Types
initialNodesModelling.ActivityDiagram.MatchPetri
initialTokensModelling.PetriNet.Types
instanceChangesAndCdsModelling.CdOd.CdAndChanges.Instance
instanceClassDiagramModelling.CdOd.CdAndChanges.Instance
instanceRelationshipNamesModelling.CdOd.CdAndChanges.Instance
instancesModelling.CdOd.MatchCdOd
instanceToAnyCdModelling.CdOd.Generate
instanceToCdModelling.CdOd.Generate
InvalidInheritanceModelling.CdOd.Types
InvalidInheritanceLimitsModelling.CdOd.Types
invalidInheritanceLimitsModelling.CdOd.Types
invalidInheritancesModelling.CdOd.Types
InValidOption 
1 (Type/Class)Modelling.CdOd.RepairCd
2 (Data Constructor)Modelling.CdOd.RepairCd
InvalidPetriNetExceptionModelling.PetriNet.Types
InvalidRelationshipModelling.CdOd.Types
invalidSubClassModelling.CdOd.Types
invalidSuperClassModelling.CdOd.Types
isActionNodeModelling.ActivityDiagram.Datatype
isActivityFinalNodeModelling.ActivityDiagram.Datatype
isAdIsomorphicModelling.ActivityDiagram.Isomorphism
isAnonymousModelling.CdOd.Types
isAuxiliaryPetriNodeModelling.ActivityDiagram.PetriNet
isConnectedModelling.PetriNet.Types
isCyclicPatternWithAnyOfModelling.PetriNet.Reach.Filter
isDecisionNodeModelling.ActivityDiagram.Datatype
isFinalPetriNodeModelling.ActivityDiagram.ActionSequences
isFlowFinalNodeModelling.ActivityDiagram.Datatype
isForkNodeModelling.ActivityDiagram.Datatype
isIllegalModelling.CdOd.Types
isInitialNodeModelling.ActivityDiagram.Datatype
isJoinNodeModelling.ActivityDiagram.Datatype
isMergeNodeModelling.ActivityDiagram.Datatype
isNetDrawableModelling.PetriNet.Diagram
isNoLongerModelling.PetriNet.Reach.Reach
isObjectDiagramRandomisableModelling.CdOd.Types
isObjectNodeModelling.ActivityDiagram.Datatype
isolatedModelling.PetriNet.Alloy
isPetriDrawableModelling.PetriNet.Reach.Draw
isPetriIsomorphicModelling.ActivityDiagram.Isomorphism
isPlaceNodeModelling.PetriNet.Types
isRandomisableModelling.Auxiliary.Common
isRelevantModelling.CdOd.NameCdError
isTransitionNodeModelling.PetriNet.Types
joinsModelling.ActivityDiagram.MatchPetri
label 
1 (Function)Modelling.ActivityDiagram.Datatype
2 (Function)Modelling.ActivityDiagram.PetriNet
lAdvConfigModelling.PetriNet.Types
lAlloyConfigModelling.PetriNet.Types
lAtLeastActiveModelling.PetriNet.Types
lBasicConfigModelling.PetriNet.Types
lChangeConfigModelling.PetriNet.Types
lConflictConfigModelling.PetriNet.Types
lConflictPlacesModelling.PetriNet.Types
lConflictTransModelling.PetriNet.Types
LegalStructuralWeakeningModelling.CdOd.RepairCd
legalStructuralWeakeningsModelling.CdOd.RepairCd
LengthyModelling.CdOd.Types
lensRulesLModelling.Auxiliary.Common
Letters 
1 (Type/Class)Modelling.Types
2 (Data Constructor)Modelling.Types
lettersListModelling.Types
levelsWithAlternativesModelling.PetriNet.Reach.Reach
lExtraTextModelling.PetriNet.Types
lFlowOverallModelling.PetriNet.Types
lGraphConfigModelling.PetriNet.Types
lGraphLayoutsModelling.PetriNet.Types
lHidePlaceNamesModelling.PetriNet.Types
lHideTransitionNamesModelling.PetriNet.Types
lHideWeight1Modelling.PetriNet.Types
LimitedLinking 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
limitsModelling.CdOd.Types
LinguisticReuseModelling.CdOd.CD2Alloy.Transform
Link 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
linkFromModelling.CdOd.Types
linkingModelling.CdOd.Types
linkLabelModelling.CdOd.Types
linkLabelsModelling.CdOd.Types
linkLimitsModelling.CdOd.Types
linksModelling.CdOd.Types
linkShufflingModelling.CdOd.DifferentNames
linksPerObjectLimitsModelling.CdOd.Types
linkToModelling.CdOd.Types
lIsConnectedModelling.PetriNet.Types
listingPriorityModelling.CdOd.NameCdError
listToFM 
1 (Function)Modelling.CdOd.NameCdError.Instance
2 (Function)Modelling.CdOd.SelectValidCd.Instance
lMaxFlowPerEdgeModelling.PetriNet.Types
lMaxTokensPerPlaceModelling.PetriNet.Types
lowerFirstModelling.Auxiliary.Common
lPlacesModelling.PetriNet.Types
lPrintSolutionModelling.PetriNet.Types
lToFindModelling.PetriNet.Find
lTokensOverallModelling.PetriNet.Types
lTransitionsModelling.PetriNet.Types
lUniqueConflictPlaceModelling.PetriNet.Types
mapCapacityModelling.PetriNet.Reach.Type
mapChangeModelling.PetriNet.Types
mapIndicesToModelling.Auxiliary.Common
mapInValidOptionModelling.CdOd.RepairCd
mapInValidOptionMModelling.CdOd.RepairCd
mapNetModelling.PetriNet.Types
mapNodeModelling.PetriNet.Types
mappingModelling.CdOd.DifferentNames
MappingAdviceModelling.CdOd.DifferentNames
mappingAdviceModelling.CdOd.DifferentNames
mappingShowModelling.CdOd.DifferentNames
mapStateModelling.PetriNet.Reach.Type
mapTypesToLabelsModelling.ActivityDiagram.MatchPetri
markModelling.PetriNet.Reach.Type
matchAdModelling.ActivityDiagram.MatchAd
matchAdAlloyModelling.ActivityDiagram.MatchAd
MatchAdConfig 
1 (Type/Class)Modelling.ActivityDiagram.MatchAd
2 (Data Constructor)Modelling.ActivityDiagram.MatchAd
matchAdEvaluationModelling.ActivityDiagram.MatchAd
matchAdInitialModelling.ActivityDiagram.MatchAd
MatchAdInstance 
1 (Type/Class)Modelling.ActivityDiagram.MatchAd
2 (Data Constructor)Modelling.ActivityDiagram.MatchAd
MatchAdSolution 
1 (Type/Class)Modelling.ActivityDiagram.MatchAd
2 (Data Constructor)Modelling.ActivityDiagram.MatchAd
matchAdSolutionModelling.ActivityDiagram.MatchAd
matchAdSyntaxModelling.ActivityDiagram.MatchAd
matchAdTaskModelling.ActivityDiagram.MatchAd
matchCdOdModelling.CdOd.MatchCdOd
MatchCdOdConfig 
1 (Type/Class)Modelling.CdOd.MatchCdOd
2 (Data Constructor)Modelling.CdOd.MatchCdOd
matchCdOdEvaluationModelling.CdOd.MatchCdOd
MatchCdOdInstance 
1 (Type/Class)Modelling.CdOd.MatchCdOd
2 (Data Constructor)Modelling.CdOd.MatchCdOd
matchCdOdSolutionModelling.CdOd.MatchCdOd
matchCdOdSyntaxModelling.CdOd.MatchCdOd
matchCdOdTaskModelling.CdOd.MatchCdOd
MatchCdOdTaskTextElementModelling.CdOd.MatchCdOd
matchingNet 
1 (Function)Modelling.ActivityDiagram.SelectPetri
2 (Function)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
matchingShowModelling.CdOd.MatchCdOd
MatchInstance 
1 (Type/Class)Modelling.PetriNet.MatchToMath
2 (Data Constructor)Modelling.PetriNet.MatchToMath
matchPetriModelling.ActivityDiagram.MatchPetri
matchPetriAlloyModelling.ActivityDiagram.MatchPetri
MatchPetriConfig 
1 (Type/Class)Modelling.ActivityDiagram.MatchPetri
2 (Data Constructor)Modelling.ActivityDiagram.MatchPetri
matchPetriEvaluationModelling.ActivityDiagram.MatchPetri
matchPetriInitialModelling.ActivityDiagram.MatchPetri
MatchPetriInstance 
1 (Type/Class)Modelling.ActivityDiagram.MatchPetri
2 (Data Constructor)Modelling.ActivityDiagram.MatchPetri
MatchPetriSolution 
1 (Type/Class)Modelling.ActivityDiagram.MatchPetri
2 (Data Constructor)Modelling.ActivityDiagram.MatchPetri
matchPetriSolutionModelling.ActivityDiagram.MatchPetri
matchPetriSyntaxModelling.ActivityDiagram.MatchPetri
matchPetriTaskModelling.ActivityDiagram.MatchPetri
matchSolutionModelling.PetriNet.MatchToMath
MathModelling.PetriNet.MatchToMath
MathConfig 
1 (Type/Class)Modelling.PetriNet.MatchToMath
2 (Data Constructor)Modelling.PetriNet.MatchToMath
mathToGraphModelling.PetriNet.MatchToMath
mathToGraphEvaluationModelling.PetriNet.MatchToMath
MathToGraphInstanceModelling.PetriNet.MatchToMath
mathToGraphSyntaxModelling.PetriNet.MatchToMath
mathToGraphTaskModelling.PetriNet.MatchToMath
maxDisplayedSolutions 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
MaxEdgeMultiplicityModelling.PetriNet.Reach.Property
maxFiveObjectsModelling.CdOd.Types
maxFlowChangePerEdgeModelling.PetriNet.Types
maxFlowPerEdgeModelling.PetriNet.Types
MaxInitialTokensModelling.PetriNet.Reach.Property
maxInstances 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.ActivityDiagram.MatchAd
3 (Function)Modelling.ActivityDiagram.MatchPetri
4 (Function)Modelling.ActivityDiagram.SelectPetri
5 (Function)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
6 (Function)Modelling.ActivityDiagram.SelectAS
7 (Function)Modelling.ActivityDiagram.EnterAS
8 (Function)Modelling.CdOd.RepairCd
9 (Function)Modelling.CdOd.SelectValidCd
10 (Function)Modelling.CdOd.NameCdError
11 (Function)Modelling.CdOd.MatchCdOd
12 (Function)Modelling.CdOd.DifferentNames
maxNamedNodesModelling.ActivityDiagram.Config
MaxNumPlacesModelling.PetriNet.Reach.Property
MaxNumTransitionsModelling.PetriNet.Reach.Property
maxObjectsModelling.CdOd.Types
maxPlacesChangedModelling.PetriNet.Reach.Reach
maxPrintedSolutions 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
maxRelationshipsModelling.CdOd.Types
maxTokenChangePerPlaceModelling.PetriNet.Types
maxTokensPerPlaceModelling.PetriNet.Types
maxTransitionLength 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
maybeInitialModelling.PetriNet.Types
mergeNodesModelling.ActivityDiagram.MatchPetri
mergePartsModelling.CdOd.CD2Alloy.Transform
minLength 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
minTransitionLength 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
MissingLimitModelling.CdOd.CdAndChanges.Instance
MissingObjectModelling.CdOd.CdAndChanges.Instance
ModellingTasksExceptionModelling.Auxiliary.Common
modifyAtMidModelling.ActivityDiagram.SelectPetri
moduleActionSequencesRulesModelling.ActivityDiagram.Alloy
moduleHelpersModelling.PetriNet.Alloy
modulePetriAdditionsModelling.PetriNet.Alloy
modulePetriConceptsModelling.PetriNet.Alloy
modulePetriConstraintsModelling.PetriNet.Alloy
modulePetriNetModelling.ActivityDiagram.Alloy
modulePetriSignatureModelling.PetriNet.Alloy
MultipleInheritancesModelling.CdOd.Types
MutateRelationshipModelling.CdOd.Types
Name 
1 (Type/Class)Modelling.Types
2 (Data Constructor)Modelling.Types
nameModelling.ActivityDiagram.Datatype
NameCdErrorAnswer 
1 (Type/Class)Modelling.CdOd.NameCdError
2 (Data Constructor)Modelling.CdOd.NameCdError
NameCdErrorConfig 
1 (Type/Class)Modelling.CdOd.NameCdError
2 (Data Constructor)Modelling.CdOd.NameCdError
nameCdErrorEvaluationModelling.CdOd.NameCdError
nameCdErrorGenerateModelling.CdOd.NameCdError
NameCdErrorInstance 
1 (Type/Class)Modelling.CdOd.NameCdError
2 (Data Constructor)Modelling.CdOd.NameCdError
nameCdErrorSolutionModelling.CdOd.NameCdError
nameCdErrorSyntaxModelling.CdOd.NameCdError
nameCdErrorTaskModelling.CdOd.NameCdError
NameCdErrorTaskTextModelling.CdOd.NameCdError
nameCdErrorTaskTextModelling.CdOd.NameCdError
NameCdErrorTaskTextElementModelling.CdOd.NameCdError
nameClassDiagramInstanceModelling.CdOd.CdAndChanges.Instance
NameMapping 
1 (Type/Class)Modelling.Types
2 (Data Constructor)Modelling.Types
nameMappingModelling.Types
Net 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
3 (Type/Class)Modelling.PetriNet.Types
netModelling.PetriNet.Find
netAndMapModelling.ActivityDiagram.ActionSequences
NetGoal 
1 (Type/Class)Modelling.PetriNet.Reach.Reach
2 (Data Constructor)Modelling.PetriNet.Reach.Reach
netGoalModelling.PetriNet.Reach.Reach
NetGoalConfig 
1 (Type/Class)Modelling.PetriNet.Reach.Reach
2 (Data Constructor)Modelling.PetriNet.Reach.Reach
netGoalConfigModelling.PetriNet.Reach.Reach
netMathModelling.PetriNet.Types
netsModelling.PetriNet.Pick
netToGrModelling.PetriNet.Parser
NeverHappensModelling.Auxiliary.Common
noArrowDensityConstraintsModelling.PetriNet.Reach.Type
NodeModelling.PetriNet.Types
nodes 
1 (Function)Modelling.ActivityDiagram.Datatype
2 (Function)Modelling.PetriNet.Types
noFilteringModelling.PetriNet.Reach.Filter
NoInstanceAvailableModelling.Auxiliary.Common, Modelling.PetriNet.Alloy
noLongerThan 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
NoneModelling.CdOd.CD2Alloy.Transform
NonInheritancePhrasingModelling.CdOd.Types
normaliseObjectDiagramModelling.CdOd.Types
NormalPetriNodeModelling.ActivityDiagram.PetriNet
NoSingletonExceptionModelling.PetriNet.Parser
NothingMoreModelling.CdOd.CD2Alloy.Transform
noTransitionBehaviorConstraintsModelling.PetriNet.Reach.Type
NotRelevantModelling.CdOd.NameCdError
numberOfModificationsModelling.ActivityDiagram.SelectPetri
numberOfPlacesModelling.PetriNet.Find
NumberOfReasons 
1 (Type/Class)Modelling.CdOd.NameCdError
2 (Data Constructor)Modelling.CdOd.NameCdError
numberOfTransitionsModelling.PetriNet.Find
numberOfWrongAnswers 
1 (Function)Modelling.ActivityDiagram.SelectPetri
2 (Function)Modelling.ActivityDiagram.SelectAS
numPlaces 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
numTransitions 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
Object 
1 (Type/Class)Modelling.Auxiliary.Common
2 (Data Constructor)Modelling.Auxiliary.Common
3 (Type/Class)Modelling.CdOd.Types
4 (Data Constructor)Modelling.CdOd.Types
objectClassModelling.CdOd.Types
ObjectConfig 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
objectConfig 
1 (Function)Modelling.CdOd.MatchCdOd
2 (Function)Modelling.CdOd.DifferentNames
ObjectDiagram 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
objectLimitsModelling.CdOd.Types
objectNameModelling.CdOd.Types
objectNodeLimitsModelling.ActivityDiagram.Config
objectNodeNamesModelling.ActivityDiagram.MatchAd
objectNodeOnEveryPath 
1 (Function)Modelling.ActivityDiagram.SelectAS
2 (Function)Modelling.ActivityDiagram.EnterAS
objectNodesModelling.ActivityDiagram.MatchPetri
ObjectProperties 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
objectProperties 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.NameCdError
4 (Function)Modelling.CdOd.MatchCdOd
5 (Function)Modelling.CdOd.DifferentNames
objectsModelling.CdOd.Types
OdModelling.CdOd.Types
oDiagramModelling.CdOd.DifferentNames
oIndexModelling.Auxiliary.Common
OmittedDefaultMultiplicities 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
omittedDefaultMultiplicities 
1 (Function)Modelling.CdOd.MatchCdOd
2 (Function)Modelling.CdOd.DifferentNames
omittedDefaultsModelling.CdOd.Types
oNameModelling.Auxiliary.Common
oneAndOtherModelling.CdOd.Auxiliary.Util
oneOfModelling.Auxiliary.Common
operationModelling.CdOd.RepairCd
optionModelling.CdOd.RepairCd
outFlowModelling.PetriNet.Types
outgoingArrowsPerPlaceModelling.PetriNet.Reach.Type
outgoingArrowsPerTransitionModelling.PetriNet.Reach.Type
overlappingLinksPredicatesModelling.CdOd.CD2Alloy.Transform
parseChangeModelling.PetriNet.Parser
parseConcurrencyModelling.PetriNet.Concurrency
parseConflictModelling.PetriNet.Conflict
parseConflictPlacesPrecModelling.PetriNet.ConflictPlaces
parseInstanceModelling.ActivityDiagram.Instance
ParseIntModelling.ActivityDiagram.Auxiliary.Parser
parseIntModelling.Auxiliary.Common
ParseListModelling.ActivityDiagram.Auxiliary.Parser
parseMappingSequenceModelling.ActivityDiagram.Auxiliary.Parser
parseNetModelling.PetriNet.Parser
parsePlacePrecModelling.PetriNet.Reach.Type
parseRenamedNetModelling.PetriNet.Parser
ParseStringModelling.ActivityDiagram.Auxiliary.Parser
parseTransitionPrecModelling.PetriNet.Reach.Type
parseTransitionsListPrecModelling.PetriNet.Reach.Type
ParseTupleModelling.ActivityDiagram.Auxiliary.Parser
ParseValueModelling.ActivityDiagram.Auxiliary.Parser
parseWithModelling.Auxiliary.Common
part1Modelling.CdOd.CD2Alloy.Transform
part2Modelling.CdOd.CD2Alloy.Transform
part3Modelling.CdOd.CD2Alloy.Transform
ParticipationsModelling.CdOd.Types
Parts 
1 (Type/Class)Modelling.CdOd.CD2Alloy.Transform
2 (Data Constructor)Modelling.CdOd.CD2Alloy.Transform
Petri 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
PetriChangeModelling.PetriNet.Types
PetriConflictModelling.PetriNet.Types
PetriConflict' 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
petriDrawConf 
1 (Function)Modelling.ActivityDiagram.MatchPetri
2 (Function)Modelling.ActivityDiagram.SelectPetri
petriHasMultipleAutomorphismsModelling.ActivityDiagram.Isomorphism
PetriKeyModelling.ActivityDiagram.PetriNet
petriLayout 
1 (Function)Modelling.ActivityDiagram.MatchPetri
2 (Function)Modelling.ActivityDiagram.SelectPetri
PetriLike 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
petriLikeToPetriModelling.PetriNet.Types
PetriMath 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
petriNet 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
3 (Function)Modelling.ActivityDiagram.MatchPetri
4 (Function)Modelling.ActivityDiagram.EnterAS
petriNetFindConcurModelling.PetriNet.Concurrency
petriNetFindConflictModelling.PetriNet.Conflict
petriNetPickConcurModelling.PetriNet.Concurrency
petriNetPickConflictModelling.PetriNet.Conflict
petriNetRndModelling.PetriNet.MatchToMath
petriNetsModelling.ActivityDiagram.SelectPetri
PetriNodeModelling.PetriNet.Types
petriScopeBitWidthModelling.PetriNet.Alloy
petriScopeMaxSeqModelling.PetriNet.Alloy
petriSvgHighlighting 
1 (Function)Modelling.ActivityDiagram.MatchPetri
2 (Function)Modelling.ActivityDiagram.SelectPetri
petriToGraphModelling.ActivityDiagram.Isomorphism
PhrasingKindModelling.CdOd.Types
pickConcurrencyModelling.PetriNet.Concurrency
PickConcurrencyConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
pickConcurrencyGenerateModelling.PetriNet.Concurrency
pickConcurrencyTaskModelling.PetriNet.Concurrency
pickConflictModelling.PetriNet.Conflict
PickConflictConfig 
1 (Type/Class)Modelling.PetriNet.Types
2 (Data Constructor)Modelling.PetriNet.Types
pickConflictGenerateModelling.PetriNet.Conflict
pickConflictTaskModelling.PetriNet.Conflict
pickEvaluationModelling.PetriNet.Pick
pickGenerateModelling.PetriNet.Pick
PickInstance 
1 (Type/Class)Modelling.PetriNet.Pick
2 (Data Constructor)Modelling.PetriNet.Pick
pickSolutionModelling.PetriNet.Pick
pickSyntaxModelling.PetriNet.Pick
pickTaskInstanceModelling.PetriNet.Pick
Place 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
placeNamesModelling.PetriNet.Types
PlaceNodeModelling.PetriNet.Types
placeOrderMathModelling.PetriNet.Types
places 
1 (Function)Modelling.PetriNet.Reach.Type
2 (Function)Modelling.PetriNet.Types
placesMathModelling.PetriNet.Types
PlaceWithNegativeTokenNumberModelling.PetriNet.Types
plantUMLConf 
1 (Function)Modelling.ActivityDiagram.MatchAd
2 (Function)Modelling.ActivityDiagram.MatchPetri
3 (Function)Modelling.ActivityDiagram.SelectPetri
4 (Function)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
PlantUmlConfig 
1 (Type/Class)Modelling.ActivityDiagram.PlantUMLConverter
2 (Data Constructor)Modelling.ActivityDiagram.PlantUMLConverter
possibleReasonsModelling.CdOd.NameCdError
PotentialFixesModelling.CdOd.RepairCd
PreDefinedModelling.CdOd.NameCdError
preDefinedInvalidModelling.CdOd.NameCdError
preDefinedValidModelling.CdOd.NameCdError
presenceOfSelfLoopsModelling.PetriNet.Types
presenceOfSinkTransitionsModelling.PetriNet.Types
presenceOfSinkTransitionsForFinals 
1 (Function)Modelling.ActivityDiagram.MatchPetri
2 (Function)Modelling.ActivityDiagram.SelectPetri
3 (Function)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
presenceOfSourceTransitionsModelling.PetriNet.Types
printExtendedFeedback 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
printNamesModelling.CdOd.Types
printNavigationsModelling.CdOd.Types
printSolution 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Types
3 (Function)Modelling.PetriNet.Types
4 (Function)Modelling.PetriNet.Types
5 (Function)Modelling.PetriNet.MatchToMath
6 (Function)Modelling.ActivityDiagram.MatchAd
7 (Function)Modelling.ActivityDiagram.MatchPetri
8 (Function)Modelling.ActivityDiagram.SelectPetri
9 (Function)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
10 (Function)Modelling.ActivityDiagram.SelectAS
11 (Function)Modelling.ActivityDiagram.EnterAS
12 (Function)Modelling.CdOd.RepairCd
13 (Function)Modelling.CdOd.SelectValidCd
14 (Function)Modelling.CdOd.NameCdError
15 (Function)Modelling.CdOd.MatchCdOd
16 (Function)Modelling.CdOd.DifferentNames
prohibitSourceTransitions 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Types
Property 
1 (Type/Class)Modelling.CdOd.Types
2 (Type/Class)Modelling.PetriNet.Reach.Property
provideSolutionsFeedbackModelling.PetriNet.Reach.Reach
RandomiseModelling.Auxiliary.Common
randomiseModelling.Auxiliary.Common
RandomiseLayoutModelling.Auxiliary.Common
randomiseLayoutModelling.Auxiliary.Common
RandomiseNamesModelling.Auxiliary.Common
randomiseNamesModelling.Auxiliary.Common
rangeWithDefaultModelling.CdOd.Types
ReachConfig 
1 (Type/Class)Modelling.PetriNet.Reach.Reach
2 (Data Constructor)Modelling.PetriNet.Reach.Reach
reachEvaluationModelling.PetriNet.Reach.Reach
reachInitialModelling.PetriNet.Reach.Reach
ReachInstance 
1 (Type/Class)Modelling.PetriNet.Reach.Reach
2 (Data Constructor)Modelling.PetriNet.Reach.Reach
reachSyntaxModelling.PetriNet.Reach.Reach
reachTaskModelling.PetriNet.Reach.Reach
ReadObjectDiagramFromAlloyExceptionModelling.CdOd.CdAndChanges.Instance
ReasonModelling.CdOd.NameCdError
reasonModelling.CdOd.NameCdError
ReasonsListModelling.CdOd.NameCdError
reasonsPerInstanceModelling.CdOd.NameCdError
redColorModelling.CdOd.Auxiliary.Util
referenceUsingModelling.CdOd.NameCdError
rejectGroupedRepeatsModelling.PetriNet.Reach.Filter
rejectLongerThan 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
rejectSpaceballsLength 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
rejectSpaceballsPatternModelling.PetriNet.Reach.Reach
RelatedNodesOfPlacesContainPlacesModelling.PetriNet.Types
RelatedNodesOfTransitionsContainTransitionsModelling.PetriNet.Types
RelationshipModelling.CdOd.Types
relationshipChangeModelling.CdOd.CdAndChanges.Instance
RelationshipChangeWithArticleModelling.CdOd.RepairCd
relationshipLimitsModelling.CdOd.Types
RelationshipMutationModelling.CdOd.Types
relationshipNameModelling.CdOd.Types
RelationshipProperties 
1 (Type/Class)Modelling.CdOd.Types
2 (Data Constructor)Modelling.CdOd.Types
relationshipsModelling.CdOd.Types
RelationshipsListModelling.CdOd.NameCdError
RelevanceModelling.CdOd.NameCdError
RelevantModelling.CdOd.NameCdError
relevantRelationshipsModelling.CdOd.NameCdError
removeModelling.Types
RemoveRelationshipModelling.CdOd.Types
renameClassesAndRelationshipsModelling.CdOd.Types
renameInstance 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.NameCdError
3 (Function)Modelling.CdOd.DifferentNames
renameObjectsWithClassesAndLinksInOdModelling.CdOd.Types
renderPickModelling.PetriNet.Pick
repairCdModelling.CdOd.RepairCd
RepairCdConfig 
1 (Type/Class)Modelling.CdOd.RepairCd
2 (Data Constructor)Modelling.CdOd.RepairCd
repairCdEvaluationModelling.CdOd.RepairCd
RepairCdInstance 
1 (Type/Class)Modelling.CdOd.RepairCd
2 (Data Constructor)Modelling.CdOd.RepairCd
repairCdSolutionModelling.CdOd.RepairCd
repairCdSyntaxModelling.CdOd.RepairCd
repairCdTaskModelling.CdOd.RepairCd
RepairCdTaskTextElementModelling.CdOd.RepairCd
repetitiveSubsequenceThresholdModelling.PetriNet.Reach.Filter
reportReachForModelling.PetriNet.Reach.Reach
requireCycleLengthsAnyModelling.PetriNet.Reach.Filter
requireSolutionsArePermutationsModelling.PetriNet.Reach.Filter
ReverseInheritancesModelling.CdOd.Types
reverseInheritancesModelling.CdOd.Types
ReverseRelationshipsModelling.CdOd.Types
reverseRelationshipsModelling.CdOd.Types
sampleSequenceModelling.ActivityDiagram.EnterAS
sampleSolutionModelling.ActivityDiagram.EnterAS
satisfiesAtAnyStateModelling.PetriNet.Reach.Property
satisfiesTransitionBehaviorConstraintsModelling.PetriNet.Reach.Type
selectActionSequenceModelling.ActivityDiagram.SelectAS
selectASModelling.ActivityDiagram.SelectAS
selectASAlloyModelling.ActivityDiagram.SelectAS
SelectASConfig 
1 (Type/Class)Modelling.ActivityDiagram.SelectAS
2 (Data Constructor)Modelling.ActivityDiagram.SelectAS
selectASEvaluationModelling.ActivityDiagram.SelectAS
SelectASInstance 
1 (Type/Class)Modelling.ActivityDiagram.SelectAS
2 (Data Constructor)Modelling.ActivityDiagram.SelectAS
SelectASSolution 
1 (Type/Class)Modelling.ActivityDiagram.SelectAS
2 (Data Constructor)Modelling.ActivityDiagram.SelectAS
selectASSolutionModelling.ActivityDiagram.SelectAS
selectASSyntaxModelling.ActivityDiagram.SelectAS
selectASTaskModelling.ActivityDiagram.SelectAS
selectPetriModelling.ActivityDiagram.SelectPetri
selectPetriAlloyModelling.ActivityDiagram.SelectPetri
SelectPetriConfig 
1 (Type/Class)Modelling.ActivityDiagram.SelectPetri
2 (Data Constructor)Modelling.ActivityDiagram.SelectPetri
selectPetriEvaluationModelling.ActivityDiagram.SelectPetri
SelectPetriInstance 
1 (Type/Class)Modelling.ActivityDiagram.SelectPetri
2 (Data Constructor)Modelling.ActivityDiagram.SelectPetri
selectPetriNetModelling.ActivityDiagram.SelectPetri
selectPetriNetWithMatchingNetModelling.ActivityDiagram.SelectPetri
SelectPetriSolution 
1 (Type/Class)Modelling.ActivityDiagram.SelectPetri
2 (Data Constructor)Modelling.ActivityDiagram.SelectPetri
selectPetriSolutionModelling.ActivityDiagram.SelectPetri
selectPetriSyntaxModelling.ActivityDiagram.SelectPetri
selectPetriTaskModelling.ActivityDiagram.SelectPetri
selectValidCdModelling.CdOd.SelectValidCd
SelectValidCdConfig 
1 (Type/Class)Modelling.CdOd.SelectValidCd
2 (Data Constructor)Modelling.CdOd.SelectValidCd
selectValidCdEvaluationModelling.CdOd.SelectValidCd
SelectValidCdInstance 
1 (Type/Class)Modelling.CdOd.SelectValidCd
2 (Data Constructor)Modelling.CdOd.SelectValidCd
selectValidCdSolutionModelling.CdOd.SelectValidCd
selectValidCdSyntaxModelling.CdOd.SelectValidCd
selectValidCdTaskModelling.CdOd.SelectValidCd
SelectValidCdTaskTextElementModelling.CdOd.SelectValidCd
SelfInheritancesModelling.CdOd.Types
selfInheritancesModelling.CdOd.Types
selfInheritancesAmountModelling.CdOd.Types
SelfRelationshipsModelling.CdOd.Types
selfRelationshipsModelling.CdOd.Types
selfRelationshipsAmountModelling.CdOd.Types
shortestSolutions 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
shouldDiscardSolutionsModelling.PetriNet.Reach.Filter
showExtendedFeedback 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
showGoalNetModelling.PetriNet.Reach.Reach
showLengthHint 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
showLettersModelling.Types
showMinLengthHint 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
showNameModelling.Types
ShowPlace 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
showPlaceModelling.PetriNet.Reach.Type
showPlaceNames 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
showPlaceNamesInNet 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
showSolution 
1 (Function)Modelling.PetriNet.Pick
2 (Function)Modelling.PetriNet.Find
3 (Function)Modelling.PetriNet.MatchToMath
4 (Function)Modelling.ActivityDiagram.MatchAd
5 (Function)Modelling.ActivityDiagram.MatchPetri
6 (Function)Modelling.ActivityDiagram.SelectPetri
7 (Function)Modelling.ActivityDiagram.FindAuxiliaryPetriNodes
8 (Function)Modelling.ActivityDiagram.SelectAS
9 (Function)Modelling.ActivityDiagram.EnterAS
10 (Function)Modelling.CdOd.RepairCd
11 (Function)Modelling.CdOd.SelectValidCd
12 (Function)Modelling.CdOd.NameCdError
13 (Function)Modelling.CdOd.MatchCdOd
14 (Function)Modelling.CdOd.DifferentNames
showTargetNetModelling.PetriNet.Reach.Reach
ShowTransition 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
showTransitionModelling.PetriNet.Reach.Type
shuffleAdLabelsModelling.ActivityDiagram.Shuffle
shuffleAdNamesModelling.ActivityDiagram.Shuffle
shuffleAnnotatedClassAndConnectionOrderModelling.CdOd.Types
shuffleAnyClassAndConnectionOrderModelling.CdOd.Types
shuffleCdNamesModelling.CdOd.Types
shuffleClassAndConnectionOrderModelling.CdOd.Types
shuffleEachCdModelling.CdOd.SelectValidCd
shuffleEverything 
1 (Function)Modelling.Auxiliary.Shuffle.All
2 (Function)Modelling.Auxiliary.Shuffle.NamesAndLayout
ShuffleExcept 
1 (Type/Class)Modelling.Auxiliary.Common
2 (Data Constructor)Modelling.Auxiliary.Common
ShuffleInstance 
1 (Type/Class)Modelling.Auxiliary.Shuffle.All
2 (Data Constructor)Modelling.Auxiliary.Shuffle.All
3 (Type/Class)Modelling.Auxiliary.Shuffle.NamesAndLayout
4 (Data Constructor)Modelling.Auxiliary.Shuffle.NamesAndLayout
shuffleInstance 
1 (Function)Modelling.Auxiliary.Shuffle.All
2 (Function)Modelling.Auxiliary.Shuffle.NamesAndLayout
shuffleInstanceWith 
1 (Function)Modelling.Auxiliary.Shuffle.All
2 (Function)Modelling.Auxiliary.Shuffle.NamesAndLayout
shuffleNames 
1 (Function)Modelling.Auxiliary.Shuffle.All
2 (Function)Modelling.Auxiliary.Shuffle.NamesAndLayout
3 (Function)Modelling.PetriNet.Types
shuffleObjectAndLinkOrderModelling.CdOd.Types
shuffleOptionsModelling.Auxiliary.Shuffle.All
shufflePetriModelling.ActivityDiagram.Shuffle
ShufflingOptionModelling.CdOd.DifferentNames
signaturesModelling.PetriNet.Alloy
simpleFindConcurrencyTaskModelling.PetriNet.Concurrency
simpleFindConflictPlacesTaskModelling.PetriNet.ConflictPlaces
simpleFindConflictTaskModelling.PetriNet.Conflict
simpleNameMapModelling.PetriNet.Parser
SimpleNodeModelling.PetriNet.Types
SimplePetriLikeModelling.PetriNet.Types
SimplePetriNetModelling.PetriNet.Types
simplePickConcurrencyTaskModelling.PetriNet.Concurrency
simplePickConflictTaskModelling.PetriNet.Conflict
SimplePlaceModelling.PetriNet.Types
simpleRenameModelling.PetriNet.Parser
simpleRenameWithModelling.PetriNet.Parser
SimpleTransitionModelling.PetriNet.Types
SimplifiedInformationModelling.CdOd.DifferentNames
simplifiedInformationModelling.Auxiliary.Output
SingleMemberExpectedModelling.CdOd.CdAndChanges.Instance
skipSpacesModelling.Auxiliary.Common
skolemVariableModelling.PetriNet.Alloy
solutionSetLimitModelling.PetriNet.Reach.Filter
sortLimitsModelling.CdOd.Types
sourceNodeModelling.ActivityDiagram.PetriNet
spaceballsPrefixThresholdModelling.PetriNet.Reach.Filter
startModelling.PetriNet.Reach.Type
State 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
StructuralWeakening 
1 (Type/Class)Modelling.CdOd.RepairCd
2 (Data Constructor)Modelling.CdOd.RepairCd
subClassModelling.CdOd.Types
successorsModelling.PetriNet.Reach.Step
superClassModelling.CdOd.Types
suppressBranchConditionsModelling.ActivityDiagram.PlantUMLConverter
suppressNodeNamesModelling.ActivityDiagram.PlantUMLConverter
takeRandomInstancesModelling.CdOd.MatchCdOd
task2023_05Modelling.CdOd.SelectValidCd.Config
task2023_06Modelling.CdOd.SelectValidCd.Config
task2023_07Modelling.CdOd.RepairCd.Config
task2023_08Modelling.CdOd.RepairCd.Config
task2023_09Modelling.CdOd.NameCdError.Config
task2023_10Modelling.CdOd.NameCdError.Config
task2023_12Modelling.CdOd.DifferentNames.Config
task2023_13Modelling.CdOd.DifferentNames.Config
task2023_14Modelling.CdOd.MatchCdOd.Config
task2023_15Modelling.CdOd.MatchCdOd.Config
task2023_16Modelling.PetriNet.PetriPickConflict.Config
task2023_17Modelling.PetriNet.PetriGraphToMath.Config
task2023_18Modelling.PetriNet.PetriGraphToMath.Config
task2023_19Modelling.PetriNet.PetriMathToGraph.Config
task2023_20Modelling.PetriNet.PetriMathToGraph.Config
task2023_21Modelling.PetriNet.PetriPickConcurrency.Config
task2023_22Modelling.PetriNet.PetriPickConflict.Config
task2023_23Modelling.PetriNet.PetriFindConcurrency.Config
task2023_24Modelling.PetriNet.PetriFindConflictPlaces.Config
task2023_25Modelling.CdOd.DifferentNames.Config
task2023_26Modelling.PetriNet.PetriFindConflictPlaces.Config
task2023_27Modelling.PetriNet.PetriReach.Config
task2023_28Modelling.PetriNet.PetriReach.Config
task2023_29Modelling.PetriNet.PetriDeadlock.Config
task2023_30Modelling.PetriNet.PetriDeadlock.Config
task2023_31Modelling.ActivityDiagram.MatchAd.Config
task2023_32Modelling.ActivityDiagram.MatchAd.Config
task2023_33Modelling.ActivityDiagram.SelectAs.Config
task2023_34Modelling.ActivityDiagram.SelectAs.Config
task2023_35Modelling.ActivityDiagram.EnterAs.Config
task2023_36Modelling.ActivityDiagram.EnterAs.Config
task2023_37Modelling.ActivityDiagram.SelectPetri.Config
task2023_38Modelling.ActivityDiagram.SelectPetri.Config
task2023_39Modelling.ActivityDiagram.MatchPetri.Config
task2023_40Modelling.ActivityDiagram.MatchPetri.Config
task2023_41Modelling.ActivityDiagram.FindAuxiliaryPetriNodes.Config
task2023_42Modelling.ActivityDiagram.FindAuxiliaryPetriNodes.Config
task2024_05Modelling.CdOd.SelectValidCd.Instance
task2024_06Modelling.CdOd.SelectValidCd.Config
task2024_06pickedModelling.CdOd.SelectValidCd.Instance
task2024_07Modelling.CdOd.SelectValidCd.Config
task2024_08Modelling.CdOd.SelectValidCd.Config
task2024_09Modelling.CdOd.SelectValidCd.Instance
task2024_10Modelling.CdOd.NameCdError.Config
task2024_11Modelling.CdOd.NameCdError.Config
task2024_12Modelling.CdOd.RepairCd.Config
task2024_13Modelling.CdOd.RepairCd.Config
task2024_14Modelling.CdOd.NameCdError.Instance
task2024_15Modelling.CdOd.DifferentNames.Config
task2024_16Modelling.CdOd.DifferentNames.Config
task2024_17Modelling.CdOd.MatchCdOd.Config
task2024_18Modelling.CdOd.MatchCdOd.Config
task2024_19Modelling.CdOd.MatchCdOd.Config
task2024_20Modelling.CdOd.MatchCdOd.Config
task2024_21Modelling.PetriNet.PetriGraphToMath.Config
task2024_22Modelling.PetriNet.PetriGraphToMath.Config
task2024_23Modelling.PetriNet.PetriMathToGraph.Config
task2024_24Modelling.PetriNet.PetriMathToGraph.Config
task2024_25Modelling.PetriNet.PetriReach.Config
task2024_26Modelling.PetriNet.PetriReach.Config
task2024_27Modelling.PetriNet.PetriDeadlock.Config
task2024_28Modelling.PetriNet.PetriDeadlock.Config
task2024_29Modelling.PetriNet.PetriPickConcurrency.Config
task2024_30Modelling.PetriNet.PetriPickConflict.Config
task2024_31Modelling.PetriNet.PetriPickConflict.Config
task2024_32Modelling.PetriNet.PetriFindConcurrency.Config
task2024_33Modelling.PetriNet.PetriFindConcurrency.Config
task2024_34Modelling.PetriNet.PetriFindConflictPlaces.Config
task2024_35Modelling.PetriNet.PetriFindConflictPlaces.Config
task2024_36Modelling.PetriNet.PetriFindConflictPlaces.Config
task2024_37Modelling.ActivityDiagram.MatchAd.Config
task2024_38Modelling.ActivityDiagram.MatchAd.Config
task2024_39Modelling.ActivityDiagram.SelectAs.Config
task2024_40Modelling.ActivityDiagram.SelectAs.Config
task2024_41Modelling.ActivityDiagram.EnterAs.Config
task2024_42Modelling.ActivityDiagram.EnterAs.Config
task2024_43Modelling.ActivityDiagram.SelectPetri.Config
task2024_44Modelling.ActivityDiagram.SelectPetri.Config
task2024_45Modelling.ActivityDiagram.MatchPetri.Config
task2024_46Modelling.ActivityDiagram.MatchPetri.Config
task2024_47Modelling.ActivityDiagram.FindAuxiliaryPetriNodes.Config
task2024_48Modelling.ActivityDiagram.FindAuxiliaryPetriNodes.Config
task2024_51Modelling.CdOd.SelectValidCd.Config
task2024_52Modelling.CdOd.SelectValidCd.Config
task2024_53Modelling.CdOd.SelectValidCd.Instance
task2024_54Modelling.CdOd.NameCdError.Config
task2024_55Modelling.CdOd.RepairCd.Config
task2024_56Modelling.CdOd.DifferentNames.Config
task2024_57Modelling.CdOd.MatchCdOd.Config
task2024_58Modelling.CdOd.MatchCdOd.Config
task2024_59Modelling.CdOd.MatchCdOd.Config
task2024_60Modelling.PetriNet.PetriReach.Config
task2024_61Modelling.PetriNet.PetriDeadlock.Config
task2024_62Modelling.PetriNet.PetriFindConcurrency.Config
task2024_63Modelling.PetriNet.PetriFindConcurrency.Config
task2024_64Modelling.PetriNet.PetriFindConflictPlaces.Config
task2024_65Modelling.PetriNet.PetriFindConflictPlaces.Config
task2024_66Modelling.PetriNet.PetriFindConflictPlaces.Config
task2024_67Modelling.ActivityDiagram.MatchAd.Config
task2024_68Modelling.ActivityDiagram.EnterAs.Config
task2024_69Modelling.ActivityDiagram.EnterAs.Config
task2024_70Modelling.ActivityDiagram.MatchPetri.Config
task2024_71Modelling.ActivityDiagram.MatchPetri.Config
task2024_72Modelling.ActivityDiagram.FindAuxiliaryPetriNodes.Config
task2024_73Modelling.ActivityDiagram.FindAuxiliaryPetriNodes.Config
task2025_04Modelling.CdOd.SelectValidCd.Config
task2025_05Modelling.CdOd.SelectValidCd.Config
task2025_06Modelling.CdOd.SelectValidCd.Config
task2025_07Modelling.CdOd.SelectValidCd.Instance
task2025_08Modelling.CdOd.NameCdError.Config
task2025_09Modelling.CdOd.NameCdError.Config
task2025_10Modelling.CdOd.RepairCd.Config
task2025_11Modelling.CdOd.RepairCd.Config
task2025_12Modelling.CdOd.NameCdError.Instance
task2025_13Modelling.CdOd.DifferentNames.Config
task2025_14Modelling.CdOd.DifferentNames.Config
task2025_15Modelling.CdOd.DifferentNames.Config
task2025_16Modelling.CdOd.DifferentNames.Config
task2025_17Modelling.CdOd.MatchCdOd.Config
task2025_18Modelling.CdOd.MatchCdOd.Config
task2025_19Modelling.CdOd.MatchCdOd.Config
task2025_20Modelling.CdOd.MatchCdOd.Config
task2025_21Modelling.CdOd.DifferentNames.Config
task2025_22Modelling.CdOd.DifferentNames.Config
task2025_23Modelling.PetriNet.PetriGraphToMath.Config
task2025_24Modelling.PetriNet.PetriGraphToMath.Config
task2025_25Modelling.PetriNet.PetriMathToGraph.Config
task2025_26Modelling.PetriNet.PetriMathToGraph.Config
task5Modelling.PetriNet.PetriReach.Instance
TaskGenerationExceptionModelling.Auxiliary.Common, Modelling.PetriNet.Alloy
taskInstance 
1 (Function)Modelling.Auxiliary.Shuffle.All
2 (Function)Modelling.Auxiliary.Shuffle.NamesAndLayout
3 (Function)Modelling.PetriNet.Alloy
taskText 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.NameCdError
4 (Function)Modelling.CdOd.MatchCdOd
5 (Function)Modelling.CdOd.DifferentNames
timeout 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.CdOd.RepairCd
3 (Function)Modelling.CdOd.SelectValidCd
4 (Function)Modelling.CdOd.NameCdError
5 (Function)Modelling.CdOd.MatchCdOd
6 (Function)Modelling.CdOd.DifferentNames
to 
1 (Function)Modelling.ActivityDiagram.Datatype
2 (Function)Modelling.PetriNet.MatchToMath
toArticleToUseModelling.CdOd.Types
toFindModelling.PetriNet.Find
toFindEvaluationModelling.PetriNet.Find
toFindSyntaxModelling.PetriNet.Find
tokenChangeModelling.PetriNet.Types
tokenChangeMathModelling.PetriNet.Types
tokenChangeOverallModelling.PetriNet.Types
tokensOverallModelling.PetriNet.Types
toMapModelling.Auxiliary.Common
toNameMappingModelling.Types
toPetriConflictModelling.PetriNet.Types
toPetriMathModelling.PetriNet.LaTeX
toPhrasingModelling.CdOd.Types
toPropertyModelling.CdOd.RepairCd
toPropertySetModelling.CdOd.Types
toShowDeadlockInstanceModelling.PetriNet.Reach.Deadlock
toShowNetGoalModelling.PetriNet.Reach.Reach
toShowReachInstanceModelling.PetriNet.Reach.Reach
totalArrowsFromPlacesToTransitionsModelling.PetriNet.Reach.Type
totalArrowsFromTransitionsToPlacesModelling.PetriNet.Reach.Type
toTaskSpecificTextModelling.CdOd.DifferentNames
toValidCdModelling.CdOd.Types
towardsValidPropertiesModelling.CdOd.Types
transModelling.PetriNet.Types
transform 
1 (Function)Modelling.CdOd.CdAndChanges.Transform
2 (Function)Modelling.CdOd.CD2Alloy.Transform
transformChangesModelling.CdOd.CdAndChanges.Transform
transformGetNextFixModelling.CdOd.CdAndChanges.Transform
transformImproveCdModelling.CdOd.CdAndChanges.Transform
transformNetModelling.PetriNet.Types
transformNoChangesModelling.CdOd.CdAndChanges.Transform
Transition 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
TransitionBehaviorConstraints 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
transitionBehaviorConstraints 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
transitionCoverageRequirementModelling.PetriNet.Reach.Filter
transitionNamesModelling.PetriNet.Types
TransitionNodeModelling.PetriNet.Types
transitionPairShowModelling.PetriNet.Types
transitions 
1 (Function)Modelling.PetriNet.Reach.Type
2 (Function)Modelling.PetriNet.Types
TransitionsList 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
transitionsListModelling.PetriNet.Reach.Type
transitionsMathModelling.PetriNet.Types
transitionsValidModelling.PetriNet.Reach.Reach
translateReasonModelling.CdOd.NameCdError
translateRelationshipModelling.CdOd.NameCdError
traverseNetModelling.PetriNet.Types
traverseNodeModelling.PetriNet.Types
UMLActivityDiagram 
1 (Type/Class)Modelling.ActivityDiagram.Datatype
2 (Data Constructor)Modelling.ActivityDiagram.Datatype
unannotateCdModelling.CdOd.Types
UnboundedModelling.PetriNet.Reach.Type
underlinedLabelModelling.CdOd.Auxiliary.Util
UnexpectedEmptySetModelling.PetriNet.Parser
UnexpectedInvalidRelationshipModelling.CdOd.Types
UnexpectedMultipleElementsModelling.PetriNet.Parser
UnexpectedRelationModelling.CdOd.CdAndChanges.Instance
uniformModelling.Auxiliary.Output
uniformlyAnnotateChangeAndCdModelling.CdOd.CdAndChanges.Instance
uniqueConflictPlace 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Types
UnknownLimitModelling.CdOd.CdAndChanges.Instance
unNameModelling.Types
unscopedSingleSigModelling.PetriNet.Alloy
unShuffleExceptModelling.Auxiliary.Common
unStateModelling.PetriNet.Reach.Type
updatePetriKeyModelling.ActivityDiagram.PetriNet
upperFirstModelling.Auxiliary.Common
upperToDashModelling.Auxiliary.Common
UseDefiniteArticleWherePossibleModelling.CdOd.Types
useDifferentGraphLayouts 
1 (Function)Modelling.PetriNet.Types
2 (Function)Modelling.PetriNet.Types
3 (Function)Modelling.PetriNet.MatchToMath
UseIndefiniteArticleEverywhereModelling.CdOd.Types
useNames 
1 (Function)Modelling.CdOd.RepairCd
2 (Function)Modelling.CdOd.NameCdError
usesEveryRelationshipNameModelling.CdOd.Types
validActionSequenceModelling.ActivityDiagram.ActionSequences
validActionSequenceWithPetriModelling.ActivityDiagram.ActionSequences
validateModelling.PetriNet.Reach.Property
validateDrawabilityAndSolutionFilteringModelling.PetriNet.Reach.Reach
validatesModelling.PetriNet.Reach.Property
validChangeClassDiagramModelling.CdOd.CdAndChanges.Instance
validityChangeModelling.CdOd.RepairCd
verifyDeadlockModelling.PetriNet.Reach.Deadlock
verifyReachModelling.PetriNet.Reach.Reach
WeakeningKindModelling.CdOd.RepairCd
weakeningNameModelling.CdOd.RepairCd
weightedShuffleModelling.Auxiliary.Common
with1WeightsModelling.PetriNet.Types
withActionRepetitionModelling.ActivityDiagram.SelectAS
withActivityFinalInForkBlocks 
1 (Function)Modelling.ActivityDiagram.MatchAd
2 (Function)Modelling.ActivityDiagram.MatchPetri
3 (Function)Modelling.ActivityDiagram.SelectPetri
WithAdditionalNamesModelling.CdOd.DifferentNames
withConflictDistractorsModelling.PetriNet.Types
withGraphvizCommandModelling.PetriNet.Types
withLengthHint 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
withMinLengthHint 
1 (Function)Modelling.PetriNet.Reach.Reach
2 (Function)Modelling.PetriNet.Reach.Deadlock
withNonTrivialInheritance 
1 (Function)Modelling.CdOd.MatchCdOd
2 (Function)Modelling.CdOd.DifferentNames
withObviousMappingModelling.CdOd.DifferentNames
withPlaceNamesModelling.PetriNet.Types
withSvgHighlightingModelling.PetriNet.Types
withTransitionNamesModelling.PetriNet.Types
wrongModelling.PetriNet.Pick
WrongAssociationLimitsModelling.CdOd.Types
wrongAssociationLimitsModelling.CdOd.Types
WrongCompositionLimitsModelling.CdOd.Types
wrongCompositionLimitsModelling.CdOd.Types
wrongCompositionsModelling.CdOd.Types
wrongInstances 
1 (Function)Modelling.PetriNet.Pick
2 (Function)Modelling.PetriNet.MatchToMath
wrongNetsModelling.ActivityDiagram.SelectPetri
wrongNonInheritancesModelling.CdOd.Types
WrongRelationshipExceptionModelling.CdOd.Types
wrongSequencesModelling.ActivityDiagram.SelectAS