From 469605af843a9db62ccd79265da7a91218f16b0a Mon Sep 17 00:00:00 2001
From: Bruce <bdallen@nps.edu>
Date: Wed, 21 Jul 2021 11:58:13 -0700
Subject: [PATCH] move files
---
README.md | 4 ----
.../Application_examples}/.gitkeep | 0
.../Application_examples}/Authentication.mp | 0
.../Application_examples}/Autonomous_Car.mp | 0
.../Application_examples}/Beginner_Use_of_MP.mp | 0
.../Application_examples}/CargoScreening.mp | 0
.../Application_examples}/Commercial_Flight | 0
.../Application_examples}/Cycle_Pattern.mp | 0
.../Application_examples}/Dining_Philosophers.mp | 0
.../Application_examples}/Elevator.mp | 0
.../Application_examples}/FindAdvisor.mp | 0
.../Application_examples}/First_Responder.mp | 0
.../Application_examples}/Knapsack_Weight_Limit.mp | 0
.../Application_examples}/MP_Architecture_Specification.mp | 0
.../Application_examples}/Manufacturing_Process.mp | 0
.../Application_examples}/Martian_Lander.mp | 0
.../Application_examples}/Prisoners_Dilemma.mp | 0
.../Application_examples}/Railroad_Crossing_Safety.mp | 0
.../Application_examples}/Replay_Attack.mp | 0
.../Application_examples}/Small_Package_Delivery.mp | 0
.../Application_examples}/Spent_Fuel_Cooling_and_Cleanup.mp | 0
.../Application_examples}/Spiral_Software_Process | 0
.../Application_examples}/Surgery.mp | 0
.../Application_examples}/Swarm_Search_and_Track.mp | 0
.../Application_examples}/Swarm_UAV.mp | 0
.../Application_examples}/Turtles_in_the_Desert.mp | 0
.../Application_examples}/UAV_Ingress.mp | 0
.../Application_examples}/UAV_OnStation.mp | 0
.../Application_examples}/Unmanned_Spacecraft_Comms.mp | 0
.../Application_examples}/Web_Browser_Formal_Security.mp | 0
.../Wide_Range_Search_for_Wreckage_and_Survivors | 0
.../Application_examples}/Work_Productivity.mp | 0
.../Example01_SimpleMessageFlow_EventCoordination.mp | 0
.../Example01a_UnreliableMessageFlow_VirtualEvents.mp | 0
.../Example02_DataFlow_EventSharing.mp | 0
.../Example03_ATMWithdrawal_BehaviorOfEnvironment.mp | 0
.../Example04_StackBehavior_EnsureCondition.mp | 0
.../Example04a_StackBehavior_UserDefinedRelations.mp | 0
.../Example04b_QueueBehavior_UserDefinedRelations.mp | 0
.../Example05_CarRace_NestedComposition.mp | 0
.../Example06_UnreliableChannel_AssertionChecking.mp | 0
.../Example07_UnconstrainedStack_TraceAnnotation.mp | 0
...le08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp | 0
.../Example09_PipeFilter_TraceAnnotationQueries.mp | 0
.../Example10_PublishSubscribe_EventReshuffling.mp | 0
.../Example11_RingTopology_UserDefinedRelations.mp | 0
.../Example12_CardiacArrestWorkflow_VirtualEvents.mp | 0
.../Example13_ConsumersSuppliers_DependencyTracking.mp | 0
.../Example14_ShoppingSpree_NumberAttributes.mp | 0
.../Example15_BackpackWeight_IntervalAttributes.mp | 0
.../Example16_StackBehavior_ProbabilityCalculationsType1.mp | 0
.../Example17_SharedEvents_ProbabilityCalculationsType1.mp | 0
...Example18_RedGreen_BayesianProbabilityCalculationsType2.mp | 0
...le19_StackBehavior_BayesianProbabilityCalculationsType2.mp | 0
.../Example20_Activity_Diagram.mp | 0
.../Example21_DataFlow_LocalReport.mp | 0
.../Example22_SimpleMessageFlow_GlobalReport.mp | 0
.../Example23_CarRace_LocalGraph.mp | 0
.../Example24_Compiler_ComponentDiagram.mp | 0
.../Example25_Graph_as_Data_Structure.mp | 0
.../Example26_UnreliableMessageFlow_GlobalQuery.mp | 0
.../Example27_AssemblingStatistics_Table_and_Bar_Chart.mp | 0
.../Example28_AssemblingStatistics_Histogram.mp | 0
.../Example29_AssemblingStatistics_Gantt_Chart.mp | 0
.../Example30_MicrowaveOven_ModelingModelChecking.mp | 0
.../Example31_Aspect_Oriented_Paradigm.mp | 0
Example32_Petri_Net.mp => models/Example32_Petri_Net.mp | 0
.../Example33_ATMWithdrawal_StatechartView.mp | 0
.../Example34_FiniteStateDiagram_PathAnnotation.mp | 0
.../Example35_FiniteStateDiagram_PathDiagram.mp | 0
.../Example36_Authentication_SystemReuse.mp | 0
.../Example37_Compiler1_ComponentReuse.mp | 0
.../Example38_Compiler2_ComponentReuse.mp | 0
.../Example39_Merging_Root_Events_to_Reduce_Run_Time.mp | 0
...ationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp | 0
75 files changed, 4 deletions(-)
delete mode 100644 README.md
rename {Application_examples => models/Application_examples}/.gitkeep (100%)
rename {Application_examples => models/Application_examples}/Authentication.mp (100%)
rename {Application_examples => models/Application_examples}/Autonomous_Car.mp (100%)
rename {Application_examples => models/Application_examples}/Beginner_Use_of_MP.mp (100%)
rename {Application_examples => models/Application_examples}/CargoScreening.mp (100%)
rename {Application_examples => models/Application_examples}/Commercial_Flight (100%)
rename {Application_examples => models/Application_examples}/Cycle_Pattern.mp (100%)
rename {Application_examples => models/Application_examples}/Dining_Philosophers.mp (100%)
rename {Application_examples => models/Application_examples}/Elevator.mp (100%)
rename {Application_examples => models/Application_examples}/FindAdvisor.mp (100%)
rename {Application_examples => models/Application_examples}/First_Responder.mp (100%)
rename {Application_examples => models/Application_examples}/Knapsack_Weight_Limit.mp (100%)
rename {Application_examples => models/Application_examples}/MP_Architecture_Specification.mp (100%)
rename {Application_examples => models/Application_examples}/Manufacturing_Process.mp (100%)
rename {Application_examples => models/Application_examples}/Martian_Lander.mp (100%)
rename {Application_examples => models/Application_examples}/Prisoners_Dilemma.mp (100%)
rename {Application_examples => models/Application_examples}/Railroad_Crossing_Safety.mp (100%)
rename {Application_examples => models/Application_examples}/Replay_Attack.mp (100%)
rename {Application_examples => models/Application_examples}/Small_Package_Delivery.mp (100%)
rename {Application_examples => models/Application_examples}/Spent_Fuel_Cooling_and_Cleanup.mp (100%)
rename {Application_examples => models/Application_examples}/Spiral_Software_Process (100%)
rename {Application_examples => models/Application_examples}/Surgery.mp (100%)
rename {Application_examples => models/Application_examples}/Swarm_Search_and_Track.mp (100%)
rename {Application_examples => models/Application_examples}/Swarm_UAV.mp (100%)
rename {Application_examples => models/Application_examples}/Turtles_in_the_Desert.mp (100%)
rename {Application_examples => models/Application_examples}/UAV_Ingress.mp (100%)
rename {Application_examples => models/Application_examples}/UAV_OnStation.mp (100%)
rename {Application_examples => models/Application_examples}/Unmanned_Spacecraft_Comms.mp (100%)
rename {Application_examples => models/Application_examples}/Web_Browser_Formal_Security.mp (100%)
rename {Application_examples => models/Application_examples}/Wide_Range_Search_for_Wreckage_and_Survivors (100%)
rename {Application_examples => models/Application_examples}/Work_Productivity.mp (100%)
rename Example01_SimpleMessageFlow_EventCoordination.mp => models/Example01_SimpleMessageFlow_EventCoordination.mp (100%)
rename Example01a_UnreliableMessageFlow_VirtualEvents.mp => models/Example01a_UnreliableMessageFlow_VirtualEvents.mp (100%)
rename Example02_DataFlow_EventSharing.mp => models/Example02_DataFlow_EventSharing.mp (100%)
rename Example03_ATMWithdrawal_BehaviorOfEnvironment.mp => models/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp (100%)
rename Example04_StackBehavior_EnsureCondition.mp => models/Example04_StackBehavior_EnsureCondition.mp (100%)
rename Example04a_StackBehavior_UserDefinedRelations.mp => models/Example04a_StackBehavior_UserDefinedRelations.mp (100%)
rename Example04b_QueueBehavior_UserDefinedRelations.mp => models/Example04b_QueueBehavior_UserDefinedRelations.mp (100%)
rename Example05_CarRace_NestedComposition.mp => models/Example05_CarRace_NestedComposition.mp (100%)
rename Example06_UnreliableChannel_AssertionChecking.mp => models/Example06_UnreliableChannel_AssertionChecking.mp (100%)
rename Example07_UnconstrainedStack_TraceAnnotation.mp => models/Example07_UnconstrainedStack_TraceAnnotation.mp (100%)
rename Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp => models/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp (100%)
rename Example09_PipeFilter_TraceAnnotationQueries.mp => models/Example09_PipeFilter_TraceAnnotationQueries.mp (100%)
rename Example10_PublishSubscribe_EventReshuffling.mp => models/Example10_PublishSubscribe_EventReshuffling.mp (100%)
rename Example11_RingTopology_UserDefinedRelations.mp => models/Example11_RingTopology_UserDefinedRelations.mp (100%)
rename Example12_CardiacArrestWorkflow_VirtualEvents.mp => models/Example12_CardiacArrestWorkflow_VirtualEvents.mp (100%)
rename Example13_ConsumersSuppliers_DependencyTracking.mp => models/Example13_ConsumersSuppliers_DependencyTracking.mp (100%)
rename Example14_ShoppingSpree_NumberAttributes.mp => models/Example14_ShoppingSpree_NumberAttributes.mp (100%)
rename Example15_BackpackWeight_IntervalAttributes.mp => models/Example15_BackpackWeight_IntervalAttributes.mp (100%)
rename Example16_StackBehavior_ProbabilityCalculationsType1.mp => models/Example16_StackBehavior_ProbabilityCalculationsType1.mp (100%)
rename Example17_SharedEvents_ProbabilityCalculationsType1.mp => models/Example17_SharedEvents_ProbabilityCalculationsType1.mp (100%)
rename Example18_RedGreen_BayesianProbabilityCalculationsType2.mp => models/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp (100%)
rename Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp => models/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp (100%)
rename Example20_Activity_Diagram.mp => models/Example20_Activity_Diagram.mp (100%)
rename Example21_DataFlow_LocalReport.mp => models/Example21_DataFlow_LocalReport.mp (100%)
rename Example22_SimpleMessageFlow_GlobalReport.mp => models/Example22_SimpleMessageFlow_GlobalReport.mp (100%)
rename Example23_CarRace_LocalGraph.mp => models/Example23_CarRace_LocalGraph.mp (100%)
rename Example24_Compiler_ComponentDiagram.mp => models/Example24_Compiler_ComponentDiagram.mp (100%)
rename Example25_Graph_as_Data_Structure.mp => models/Example25_Graph_as_Data_Structure.mp (100%)
rename Example26_UnreliableMessageFlow_GlobalQuery.mp => models/Example26_UnreliableMessageFlow_GlobalQuery.mp (100%)
rename Example27_AssemblingStatistics_Table_and_Bar_Chart.mp => models/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp (100%)
rename Example28_AssemblingStatistics_Histogram.mp => models/Example28_AssemblingStatistics_Histogram.mp (100%)
rename Example29_AssemblingStatistics_Gantt_Chart.mp => models/Example29_AssemblingStatistics_Gantt_Chart.mp (100%)
rename Example30_MicrowaveOven_ModelingModelChecking.mp => models/Example30_MicrowaveOven_ModelingModelChecking.mp (100%)
rename Example31_Aspect_Oriented_Paradigm.mp => models/Example31_Aspect_Oriented_Paradigm.mp (100%)
rename Example32_Petri_Net.mp => models/Example32_Petri_Net.mp (100%)
rename Example33_ATMWithdrawal_StatechartView.mp => models/Example33_ATMWithdrawal_StatechartView.mp (100%)
rename Example34_FiniteStateDiagram_PathAnnotation.mp => models/Example34_FiniteStateDiagram_PathAnnotation.mp (100%)
rename Example35_FiniteStateDiagram_PathDiagram.mp => models/Example35_FiniteStateDiagram_PathDiagram.mp (100%)
rename Example36_Authentication_SystemReuse.mp => models/Example36_Authentication_SystemReuse.mp (100%)
rename Example37_Compiler1_ComponentReuse.mp => models/Example37_Compiler1_ComponentReuse.mp (100%)
rename Example38_Compiler2_ComponentReuse.mp => models/Example38_Compiler2_ComponentReuse.mp (100%)
rename Example39_Merging_Root_Events_to_Reduce_Run_Time.mp => models/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp (100%)
rename Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp => models/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp (100%)
diff --git a/README.md b/README.md
deleted file mode 100644
index 5bf714c..0000000
--- a/README.md
+++ /dev/null
@@ -1,4 +0,0 @@
-# Preloaded Examples
-
-Phils change to readme.md on testing-checkout
-
diff --git a/Application_examples/.gitkeep b/models/Application_examples/.gitkeep
similarity index 100%
rename from Application_examples/.gitkeep
rename to models/Application_examples/.gitkeep
diff --git a/Application_examples/Authentication.mp b/models/Application_examples/Authentication.mp
similarity index 100%
rename from Application_examples/Authentication.mp
rename to models/Application_examples/Authentication.mp
diff --git a/Application_examples/Autonomous_Car.mp b/models/Application_examples/Autonomous_Car.mp
similarity index 100%
rename from Application_examples/Autonomous_Car.mp
rename to models/Application_examples/Autonomous_Car.mp
diff --git a/Application_examples/Beginner_Use_of_MP.mp b/models/Application_examples/Beginner_Use_of_MP.mp
similarity index 100%
rename from Application_examples/Beginner_Use_of_MP.mp
rename to models/Application_examples/Beginner_Use_of_MP.mp
diff --git a/Application_examples/CargoScreening.mp b/models/Application_examples/CargoScreening.mp
similarity index 100%
rename from Application_examples/CargoScreening.mp
rename to models/Application_examples/CargoScreening.mp
diff --git a/Application_examples/Commercial_Flight b/models/Application_examples/Commercial_Flight
similarity index 100%
rename from Application_examples/Commercial_Flight
rename to models/Application_examples/Commercial_Flight
diff --git a/Application_examples/Cycle_Pattern.mp b/models/Application_examples/Cycle_Pattern.mp
similarity index 100%
rename from Application_examples/Cycle_Pattern.mp
rename to models/Application_examples/Cycle_Pattern.mp
diff --git a/Application_examples/Dining_Philosophers.mp b/models/Application_examples/Dining_Philosophers.mp
similarity index 100%
rename from Application_examples/Dining_Philosophers.mp
rename to models/Application_examples/Dining_Philosophers.mp
diff --git a/Application_examples/Elevator.mp b/models/Application_examples/Elevator.mp
similarity index 100%
rename from Application_examples/Elevator.mp
rename to models/Application_examples/Elevator.mp
diff --git a/Application_examples/FindAdvisor.mp b/models/Application_examples/FindAdvisor.mp
similarity index 100%
rename from Application_examples/FindAdvisor.mp
rename to models/Application_examples/FindAdvisor.mp
diff --git a/Application_examples/First_Responder.mp b/models/Application_examples/First_Responder.mp
similarity index 100%
rename from Application_examples/First_Responder.mp
rename to models/Application_examples/First_Responder.mp
diff --git a/Application_examples/Knapsack_Weight_Limit.mp b/models/Application_examples/Knapsack_Weight_Limit.mp
similarity index 100%
rename from Application_examples/Knapsack_Weight_Limit.mp
rename to models/Application_examples/Knapsack_Weight_Limit.mp
diff --git a/Application_examples/MP_Architecture_Specification.mp b/models/Application_examples/MP_Architecture_Specification.mp
similarity index 100%
rename from Application_examples/MP_Architecture_Specification.mp
rename to models/Application_examples/MP_Architecture_Specification.mp
diff --git a/Application_examples/Manufacturing_Process.mp b/models/Application_examples/Manufacturing_Process.mp
similarity index 100%
rename from Application_examples/Manufacturing_Process.mp
rename to models/Application_examples/Manufacturing_Process.mp
diff --git a/Application_examples/Martian_Lander.mp b/models/Application_examples/Martian_Lander.mp
similarity index 100%
rename from Application_examples/Martian_Lander.mp
rename to models/Application_examples/Martian_Lander.mp
diff --git a/Application_examples/Prisoners_Dilemma.mp b/models/Application_examples/Prisoners_Dilemma.mp
similarity index 100%
rename from Application_examples/Prisoners_Dilemma.mp
rename to models/Application_examples/Prisoners_Dilemma.mp
diff --git a/Application_examples/Railroad_Crossing_Safety.mp b/models/Application_examples/Railroad_Crossing_Safety.mp
similarity index 100%
rename from Application_examples/Railroad_Crossing_Safety.mp
rename to models/Application_examples/Railroad_Crossing_Safety.mp
diff --git a/Application_examples/Replay_Attack.mp b/models/Application_examples/Replay_Attack.mp
similarity index 100%
rename from Application_examples/Replay_Attack.mp
rename to models/Application_examples/Replay_Attack.mp
diff --git a/Application_examples/Small_Package_Delivery.mp b/models/Application_examples/Small_Package_Delivery.mp
similarity index 100%
rename from Application_examples/Small_Package_Delivery.mp
rename to models/Application_examples/Small_Package_Delivery.mp
diff --git a/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp b/models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp
similarity index 100%
rename from Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp
rename to models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp
diff --git a/Application_examples/Spiral_Software_Process b/models/Application_examples/Spiral_Software_Process
similarity index 100%
rename from Application_examples/Spiral_Software_Process
rename to models/Application_examples/Spiral_Software_Process
diff --git a/Application_examples/Surgery.mp b/models/Application_examples/Surgery.mp
similarity index 100%
rename from Application_examples/Surgery.mp
rename to models/Application_examples/Surgery.mp
diff --git a/Application_examples/Swarm_Search_and_Track.mp b/models/Application_examples/Swarm_Search_and_Track.mp
similarity index 100%
rename from Application_examples/Swarm_Search_and_Track.mp
rename to models/Application_examples/Swarm_Search_and_Track.mp
diff --git a/Application_examples/Swarm_UAV.mp b/models/Application_examples/Swarm_UAV.mp
similarity index 100%
rename from Application_examples/Swarm_UAV.mp
rename to models/Application_examples/Swarm_UAV.mp
diff --git a/Application_examples/Turtles_in_the_Desert.mp b/models/Application_examples/Turtles_in_the_Desert.mp
similarity index 100%
rename from Application_examples/Turtles_in_the_Desert.mp
rename to models/Application_examples/Turtles_in_the_Desert.mp
diff --git a/Application_examples/UAV_Ingress.mp b/models/Application_examples/UAV_Ingress.mp
similarity index 100%
rename from Application_examples/UAV_Ingress.mp
rename to models/Application_examples/UAV_Ingress.mp
diff --git a/Application_examples/UAV_OnStation.mp b/models/Application_examples/UAV_OnStation.mp
similarity index 100%
rename from Application_examples/UAV_OnStation.mp
rename to models/Application_examples/UAV_OnStation.mp
diff --git a/Application_examples/Unmanned_Spacecraft_Comms.mp b/models/Application_examples/Unmanned_Spacecraft_Comms.mp
similarity index 100%
rename from Application_examples/Unmanned_Spacecraft_Comms.mp
rename to models/Application_examples/Unmanned_Spacecraft_Comms.mp
diff --git a/Application_examples/Web_Browser_Formal_Security.mp b/models/Application_examples/Web_Browser_Formal_Security.mp
similarity index 100%
rename from Application_examples/Web_Browser_Formal_Security.mp
rename to models/Application_examples/Web_Browser_Formal_Security.mp
diff --git a/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors b/models/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors
similarity index 100%
rename from Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors
rename to models/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors
diff --git a/Application_examples/Work_Productivity.mp b/models/Application_examples/Work_Productivity.mp
similarity index 100%
rename from Application_examples/Work_Productivity.mp
rename to models/Application_examples/Work_Productivity.mp
diff --git a/Example01_SimpleMessageFlow_EventCoordination.mp b/models/Example01_SimpleMessageFlow_EventCoordination.mp
similarity index 100%
rename from Example01_SimpleMessageFlow_EventCoordination.mp
rename to models/Example01_SimpleMessageFlow_EventCoordination.mp
diff --git a/Example01a_UnreliableMessageFlow_VirtualEvents.mp b/models/Example01a_UnreliableMessageFlow_VirtualEvents.mp
similarity index 100%
rename from Example01a_UnreliableMessageFlow_VirtualEvents.mp
rename to models/Example01a_UnreliableMessageFlow_VirtualEvents.mp
diff --git a/Example02_DataFlow_EventSharing.mp b/models/Example02_DataFlow_EventSharing.mp
similarity index 100%
rename from Example02_DataFlow_EventSharing.mp
rename to models/Example02_DataFlow_EventSharing.mp
diff --git a/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp b/models/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp
similarity index 100%
rename from Example03_ATMWithdrawal_BehaviorOfEnvironment.mp
rename to models/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp
diff --git a/Example04_StackBehavior_EnsureCondition.mp b/models/Example04_StackBehavior_EnsureCondition.mp
similarity index 100%
rename from Example04_StackBehavior_EnsureCondition.mp
rename to models/Example04_StackBehavior_EnsureCondition.mp
diff --git a/Example04a_StackBehavior_UserDefinedRelations.mp b/models/Example04a_StackBehavior_UserDefinedRelations.mp
similarity index 100%
rename from Example04a_StackBehavior_UserDefinedRelations.mp
rename to models/Example04a_StackBehavior_UserDefinedRelations.mp
diff --git a/Example04b_QueueBehavior_UserDefinedRelations.mp b/models/Example04b_QueueBehavior_UserDefinedRelations.mp
similarity index 100%
rename from Example04b_QueueBehavior_UserDefinedRelations.mp
rename to models/Example04b_QueueBehavior_UserDefinedRelations.mp
diff --git a/Example05_CarRace_NestedComposition.mp b/models/Example05_CarRace_NestedComposition.mp
similarity index 100%
rename from Example05_CarRace_NestedComposition.mp
rename to models/Example05_CarRace_NestedComposition.mp
diff --git a/Example06_UnreliableChannel_AssertionChecking.mp b/models/Example06_UnreliableChannel_AssertionChecking.mp
similarity index 100%
rename from Example06_UnreliableChannel_AssertionChecking.mp
rename to models/Example06_UnreliableChannel_AssertionChecking.mp
diff --git a/Example07_UnconstrainedStack_TraceAnnotation.mp b/models/Example07_UnconstrainedStack_TraceAnnotation.mp
similarity index 100%
rename from Example07_UnconstrainedStack_TraceAnnotation.mp
rename to models/Example07_UnconstrainedStack_TraceAnnotation.mp
diff --git a/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp b/models/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp
similarity index 100%
rename from Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp
rename to models/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp
diff --git a/Example09_PipeFilter_TraceAnnotationQueries.mp b/models/Example09_PipeFilter_TraceAnnotationQueries.mp
similarity index 100%
rename from Example09_PipeFilter_TraceAnnotationQueries.mp
rename to models/Example09_PipeFilter_TraceAnnotationQueries.mp
diff --git a/Example10_PublishSubscribe_EventReshuffling.mp b/models/Example10_PublishSubscribe_EventReshuffling.mp
similarity index 100%
rename from Example10_PublishSubscribe_EventReshuffling.mp
rename to models/Example10_PublishSubscribe_EventReshuffling.mp
diff --git a/Example11_RingTopology_UserDefinedRelations.mp b/models/Example11_RingTopology_UserDefinedRelations.mp
similarity index 100%
rename from Example11_RingTopology_UserDefinedRelations.mp
rename to models/Example11_RingTopology_UserDefinedRelations.mp
diff --git a/Example12_CardiacArrestWorkflow_VirtualEvents.mp b/models/Example12_CardiacArrestWorkflow_VirtualEvents.mp
similarity index 100%
rename from Example12_CardiacArrestWorkflow_VirtualEvents.mp
rename to models/Example12_CardiacArrestWorkflow_VirtualEvents.mp
diff --git a/Example13_ConsumersSuppliers_DependencyTracking.mp b/models/Example13_ConsumersSuppliers_DependencyTracking.mp
similarity index 100%
rename from Example13_ConsumersSuppliers_DependencyTracking.mp
rename to models/Example13_ConsumersSuppliers_DependencyTracking.mp
diff --git a/Example14_ShoppingSpree_NumberAttributes.mp b/models/Example14_ShoppingSpree_NumberAttributes.mp
similarity index 100%
rename from Example14_ShoppingSpree_NumberAttributes.mp
rename to models/Example14_ShoppingSpree_NumberAttributes.mp
diff --git a/Example15_BackpackWeight_IntervalAttributes.mp b/models/Example15_BackpackWeight_IntervalAttributes.mp
similarity index 100%
rename from Example15_BackpackWeight_IntervalAttributes.mp
rename to models/Example15_BackpackWeight_IntervalAttributes.mp
diff --git a/Example16_StackBehavior_ProbabilityCalculationsType1.mp b/models/Example16_StackBehavior_ProbabilityCalculationsType1.mp
similarity index 100%
rename from Example16_StackBehavior_ProbabilityCalculationsType1.mp
rename to models/Example16_StackBehavior_ProbabilityCalculationsType1.mp
diff --git a/Example17_SharedEvents_ProbabilityCalculationsType1.mp b/models/Example17_SharedEvents_ProbabilityCalculationsType1.mp
similarity index 100%
rename from Example17_SharedEvents_ProbabilityCalculationsType1.mp
rename to models/Example17_SharedEvents_ProbabilityCalculationsType1.mp
diff --git a/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp b/models/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp
similarity index 100%
rename from Example18_RedGreen_BayesianProbabilityCalculationsType2.mp
rename to models/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp
diff --git a/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp b/models/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp
similarity index 100%
rename from Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp
rename to models/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp
diff --git a/Example20_Activity_Diagram.mp b/models/Example20_Activity_Diagram.mp
similarity index 100%
rename from Example20_Activity_Diagram.mp
rename to models/Example20_Activity_Diagram.mp
diff --git a/Example21_DataFlow_LocalReport.mp b/models/Example21_DataFlow_LocalReport.mp
similarity index 100%
rename from Example21_DataFlow_LocalReport.mp
rename to models/Example21_DataFlow_LocalReport.mp
diff --git a/Example22_SimpleMessageFlow_GlobalReport.mp b/models/Example22_SimpleMessageFlow_GlobalReport.mp
similarity index 100%
rename from Example22_SimpleMessageFlow_GlobalReport.mp
rename to models/Example22_SimpleMessageFlow_GlobalReport.mp
diff --git a/Example23_CarRace_LocalGraph.mp b/models/Example23_CarRace_LocalGraph.mp
similarity index 100%
rename from Example23_CarRace_LocalGraph.mp
rename to models/Example23_CarRace_LocalGraph.mp
diff --git a/Example24_Compiler_ComponentDiagram.mp b/models/Example24_Compiler_ComponentDiagram.mp
similarity index 100%
rename from Example24_Compiler_ComponentDiagram.mp
rename to models/Example24_Compiler_ComponentDiagram.mp
diff --git a/Example25_Graph_as_Data_Structure.mp b/models/Example25_Graph_as_Data_Structure.mp
similarity index 100%
rename from Example25_Graph_as_Data_Structure.mp
rename to models/Example25_Graph_as_Data_Structure.mp
diff --git a/Example26_UnreliableMessageFlow_GlobalQuery.mp b/models/Example26_UnreliableMessageFlow_GlobalQuery.mp
similarity index 100%
rename from Example26_UnreliableMessageFlow_GlobalQuery.mp
rename to models/Example26_UnreliableMessageFlow_GlobalQuery.mp
diff --git a/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp b/models/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp
similarity index 100%
rename from Example27_AssemblingStatistics_Table_and_Bar_Chart.mp
rename to models/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp
diff --git a/Example28_AssemblingStatistics_Histogram.mp b/models/Example28_AssemblingStatistics_Histogram.mp
similarity index 100%
rename from Example28_AssemblingStatistics_Histogram.mp
rename to models/Example28_AssemblingStatistics_Histogram.mp
diff --git a/Example29_AssemblingStatistics_Gantt_Chart.mp b/models/Example29_AssemblingStatistics_Gantt_Chart.mp
similarity index 100%
rename from Example29_AssemblingStatistics_Gantt_Chart.mp
rename to models/Example29_AssemblingStatistics_Gantt_Chart.mp
diff --git a/Example30_MicrowaveOven_ModelingModelChecking.mp b/models/Example30_MicrowaveOven_ModelingModelChecking.mp
similarity index 100%
rename from Example30_MicrowaveOven_ModelingModelChecking.mp
rename to models/Example30_MicrowaveOven_ModelingModelChecking.mp
diff --git a/Example31_Aspect_Oriented_Paradigm.mp b/models/Example31_Aspect_Oriented_Paradigm.mp
similarity index 100%
rename from Example31_Aspect_Oriented_Paradigm.mp
rename to models/Example31_Aspect_Oriented_Paradigm.mp
diff --git a/Example32_Petri_Net.mp b/models/Example32_Petri_Net.mp
similarity index 100%
rename from Example32_Petri_Net.mp
rename to models/Example32_Petri_Net.mp
diff --git a/Example33_ATMWithdrawal_StatechartView.mp b/models/Example33_ATMWithdrawal_StatechartView.mp
similarity index 100%
rename from Example33_ATMWithdrawal_StatechartView.mp
rename to models/Example33_ATMWithdrawal_StatechartView.mp
diff --git a/Example34_FiniteStateDiagram_PathAnnotation.mp b/models/Example34_FiniteStateDiagram_PathAnnotation.mp
similarity index 100%
rename from Example34_FiniteStateDiagram_PathAnnotation.mp
rename to models/Example34_FiniteStateDiagram_PathAnnotation.mp
diff --git a/Example35_FiniteStateDiagram_PathDiagram.mp b/models/Example35_FiniteStateDiagram_PathDiagram.mp
similarity index 100%
rename from Example35_FiniteStateDiagram_PathDiagram.mp
rename to models/Example35_FiniteStateDiagram_PathDiagram.mp
diff --git a/Example36_Authentication_SystemReuse.mp b/models/Example36_Authentication_SystemReuse.mp
similarity index 100%
rename from Example36_Authentication_SystemReuse.mp
rename to models/Example36_Authentication_SystemReuse.mp
diff --git a/Example37_Compiler1_ComponentReuse.mp b/models/Example37_Compiler1_ComponentReuse.mp
similarity index 100%
rename from Example37_Compiler1_ComponentReuse.mp
rename to models/Example37_Compiler1_ComponentReuse.mp
diff --git a/Example38_Compiler2_ComponentReuse.mp b/models/Example38_Compiler2_ComponentReuse.mp
similarity index 100%
rename from Example38_Compiler2_ComponentReuse.mp
rename to models/Example38_Compiler2_ComponentReuse.mp
diff --git a/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp b/models/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp
similarity index 100%
rename from Example39_Merging_Root_Events_to_Reduce_Run_Time.mp
rename to models/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp
diff --git a/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp b/models/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp
similarity index 100%
rename from Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp
rename to models/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp
--
GitLab