Index - T

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
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.CdOd.RepairCd
2 (Function)Modelling.CdOd.SelectValidCd
3 (Function)Modelling.CdOd.NameCdError
4 (Function)Modelling.CdOd.MatchCdOd
5 (Function)Modelling.CdOd.DifferentNames
toModelling.ActivityDiagram.Datatype
toArticleToUseModelling.CdOd.Types
toFindEvaluationModelling.PetriNet.Find
toFindSyntaxModelling.PetriNet.Find
toMapModelling.Auxiliary.Common
toNameMappingModelling.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
toTaskSpecificTextModelling.CdOd.DifferentNames
toValidCdModelling.CdOd.Types
towardsValidPropertiesModelling.CdOd.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
transitionNamesModelling.PetriNet.Types
TransitionNodeModelling.PetriNet.Types
transitionPairShowModelling.PetriNet.Types
transitionsModelling.PetriNet.Reach.Type
TransitionsList 
1 (Type/Class)Modelling.PetriNet.Reach.Type
2 (Data Constructor)Modelling.PetriNet.Reach.Type
transitionsListModelling.PetriNet.Reach.Type
transitionsValidModelling.PetriNet.Reach.Reach
traverseNetModelling.PetriNet.Types
traverseNodeModelling.PetriNet.Types
triesModelling.PetriNet.Reach.Deadlock
tryModelling.PetriNet.Reach.Deadlock