From e52f03ce92e26943083c9623b74195b2da7a41e6 Mon Sep 17 00:00:00 2001 From: "Giammarco, Kristin M" <kmgiamma@nps.edu> Date: Thu, 17 Jun 2021 02:01:42 +0000 Subject: [PATCH] Update Example22_SimpleMessageFlow_GlobalReport.mp, Example23_CarRace_LocalGraph.mp, Example25_Graph_as_Data_Structure.mp, Example26_UnreliableMessageFlow_GlobalQuery.mp, Example27_AssemblingStatistics_Table_and_Bar_Chart.mp, Example28_AssemblingStatistics_Histogram.mp, Example29_AssemblingStatistics_Gantt_Chart.mp, Example30_MicrowaveOven_ModelingModelChecking.mp, Example32_Petri_Net.mp, Example33_ATMWithdrawal_StatechartView.mp, Example34_FiniteStateDiagram_PathAnnotation.mp, Example35_FiniteStateDiagram_PathDiagram.mp, Example36_Authentication_SystemReuse.mp, Example37_Compiler1_ComponentReuse.mp, Example38_Compiler2_ComponentReuse.mp, Wide_Range_Search_for_Wreckage_and_Survivors, Commercial_Flight, Spiral_Software_Process, MP_Architecture_Specification.mp, Turtles_in_the_Desert.mp, Dining_Philosophers.mp, Knapsack_Weight_Limit.mp, Web_Browser_Formal_Security.mp, Replay_Attack.mp, Railroad_Crossing_Safety.mp, Work_Productivity.mp, Martian_Lander.mp, Example24_Compiler_ComponentDiagram.mp, CargoScreening.mp, Elevator.mp, Manufacturing_Process.mp, Swarm_UAV.mp, Autonomous_Car.mp, Swarm_Search_and_Track.mp, First_Responder.mp, Unmanned_Spacecraft_Comms.mp, UAV_Ingress.mp, Authentication.mp, Small_Package_Delivery.mp, UAV_OnStation.mp, Cycle_Pattern.mp, Surgery.mp, Spent_Fuel_Cooling_and_Cleanup.mp, Prisoners_Dilemma.mp, FindAdvisor.mp, Beginner_Use_of_MP.mp files --- Example57_Authentication.mp => Authentication.mp | 0 Example51_Autonomous_Car.mp => Autonomous_Car.mp | 0 x_Default_Example_Beginner_Use_of_MP.mp => Beginner_Use_of_MP.mp | 0 Example46_CargoScreening.mp => CargoScreening.mp | 0 Example50_Flight.mp => Commercial_Flight | 0 Example59_Cycle_Pattern.mp => Cycle_Pattern.mp | 0 Example17_Dining_Philosophers.mp => Dining_Philosophers.mp | 0 Example47_Elevator.mp => Elevator.mp | 0 ...lobal_report.mp => Example22_SimpleMessageFlow_GlobalReport.mp | 0 Example32_Local_graph.mp => Example23_CarRace_LocalGraph.mp | 0 ...Component_Diagram.mp => Example24_Compiler_ComponentDiagram.mp | 0 ...h_as_data_structure.mp => Example25_Graph_as_Data_Structure.mp | 0 ...BAL_query.mp => Example26_UnreliableMessageFlow_GlobalQuery.mp | 0 ...rt.mp => Example27_AssemblingStatistics_Table_and_Bar_Chart.mp | 0 ...43_Histogram.mp => Example28_AssemblingStatistics_Histogram.mp | 0 ...antt_Chart.mp => Example29_AssemblingStatistics_Gantt_Chart.mp | 0 ...ve_oven.mp => Example30_MicrowaveOven_ModelingModelChecking.mp | 0 Example15_Petri_net.mp => Example32_Petri_Net.mp | 0 ...e36_Statechart.mp => Example33_ATMWithdrawal_StatechartView.mp | 0 ...teDiagram.mp => Example34_FiniteStateDiagram_PathAnnotation.mp | 0 ...tate_Diagram.mp => Example35_FiniteStateDiagram_PathDiagram.mp | 0 ..._MP_model__reuse.mp => Example36_Authentication_SystemReuse.mp | 0 Example21_compiler1.mp => Example37_Compiler1_ComponentReuse.mp | 0 Example22_compiler2.mp => Example38_Compiler2_ComponentReuse.mp | 0 Example63_FindAdvisor.mp => FindAdvisor.mp | 0 Example53_First_Responder.mp => First_Responder.mp | 0 Example38_knapsack.mp => Knapsack_Weight_Limit.mp | 0 ...odel_of_MP_architecture.mp => MP_Architecture_Specification.mp | 0 Example48_Manufacturing_Process.mp => Manufacturing_Process.mp | 0 Example45_Martian_Lander.mp => Martian_Lander.mp | 0 Example62_Prisoners_Dilemma.mp => Prisoners_Dilemma.mp | 0 Example27_Railroad_Crossing.mp => Railroad_Crossing_Safety.mp | 0 Example41_Replay_Attack.mp => Replay_Attack.mp | 0 Example56_Small_Package_Delivery.mp => Small_Package_Delivery.mp | 0 ...el_Cooling_and_Cleanup.mp => Spent_Fuel_Cooling_and_Cleanup.mp | 0 Example16_software_spiral_process.mp => Spiral_Software_Process | 0 Example60_Surgery.mp => Surgery.mp | 0 Example52_Swarm_Search_and_Track.mp => Swarm_Search_and_Track.mp | 0 Example49_Swarm_UAV.mp => Swarm_UAV.mp | 0 Example39_turtles.mp => Turtles_in_the_Desert.mp | 0 Example55_UAV_Ingress.mp => UAV_Ingress.mp | 0 Example58_UAV_OnStation.mp => UAV_OnStation.mp | 0 ...4_Unmanned_Spacecraft_Comms.mp => Unmanned_Spacecraft_Comms.mp | 0 Example40_web_browsers.mp => Web_Browser_Formal_Security.mp | 0 ...nal_Process.mp => Wide_Range_Search_for_Wreckage_and_Survivors | 0 Example26_timing_attributes.mp => Work_Productivity.mp | 0 46 files changed, 0 insertions(+), 0 deletions(-) rename Example57_Authentication.mp => Authentication.mp (100%) rename Example51_Autonomous_Car.mp => Autonomous_Car.mp (100%) rename x_Default_Example_Beginner_Use_of_MP.mp => Beginner_Use_of_MP.mp (100%) rename Example46_CargoScreening.mp => CargoScreening.mp (100%) rename Example50_Flight.mp => Commercial_Flight (100%) rename Example59_Cycle_Pattern.mp => Cycle_Pattern.mp (100%) rename Example17_Dining_Philosophers.mp => Dining_Philosophers.mp (100%) rename Example47_Elevator.mp => Elevator.mp (100%) rename Example31_Global_report.mp => Example22_SimpleMessageFlow_GlobalReport.mp (100%) rename Example32_Local_graph.mp => Example23_CarRace_LocalGraph.mp (100%) rename Example33_Component_Diagram.mp => Example24_Compiler_ComponentDiagram.mp (100%) rename Example34_Graph_as_data_structure.mp => Example25_Graph_as_Data_Structure.mp (100%) rename Example37_GLOBAL_query.mp => Example26_UnreliableMessageFlow_GlobalQuery.mp (100%) rename Example42_Bar_Chart.mp => Example27_AssemblingStatistics_Table_and_Bar_Chart.mp (100%) rename Example43_Histogram.mp => Example28_AssemblingStatistics_Histogram.mp (100%) rename Example44_Gantt_Chart.mp => Example29_AssemblingStatistics_Gantt_Chart.mp (100%) rename Example14_microwave_oven.mp => Example30_MicrowaveOven_ModelingModelChecking.mp (100%) rename Example15_Petri_net.mp => Example32_Petri_Net.mp (100%) rename Example36_Statechart.mp => Example33_ATMWithdrawal_StatechartView.mp (100%) rename Example13_FiniteStateDiagram.mp => Example34_FiniteStateDiagram_PathAnnotation.mp (100%) rename Example35_Finite_State_Diagram.mp => Example35_FiniteStateDiagram_PathDiagram.mp (100%) rename Example20_MP_model__reuse.mp => Example36_Authentication_SystemReuse.mp (100%) rename Example21_compiler1.mp => Example37_Compiler1_ComponentReuse.mp (100%) rename Example22_compiler2.mp => Example38_Compiler2_ComponentReuse.mp (100%) rename Example63_FindAdvisor.mp => FindAdvisor.mp (100%) rename Example53_First_Responder.mp => First_Responder.mp (100%) rename Example38_knapsack.mp => Knapsack_Weight_Limit.mp (100%) rename Example28_MP_model_of_MP_architecture.mp => MP_Architecture_Specification.mp (100%) rename Example48_Manufacturing_Process.mp => Manufacturing_Process.mp (100%) rename Example45_Martian_Lander.mp => Martian_Lander.mp (100%) rename Example62_Prisoners_Dilemma.mp => Prisoners_Dilemma.mp (100%) rename Example27_Railroad_Crossing.mp => Railroad_Crossing_Safety.mp (100%) rename Example41_Replay_Attack.mp => Replay_Attack.mp (100%) rename Example56_Small_Package_Delivery.mp => Small_Package_Delivery.mp (100%) rename Example61_Spent_Fuel_Cooling_and_Cleanup.mp => Spent_Fuel_Cooling_and_Cleanup.mp (100%) rename Example16_software_spiral_process.mp => Spiral_Software_Process (100%) rename Example60_Surgery.mp => Surgery.mp (100%) rename Example52_Swarm_Search_and_Track.mp => Swarm_Search_and_Track.mp (100%) rename Example49_Swarm_UAV.mp => Swarm_UAV.mp (100%) rename Example39_turtles.mp => Turtles_in_the_Desert.mp (100%) rename Example55_UAV_Ingress.mp => UAV_Ingress.mp (100%) rename Example58_UAV_OnStation.mp => UAV_OnStation.mp (100%) rename Example54_Unmanned_Spacecraft_Comms.mp => Unmanned_Spacecraft_Comms.mp (100%) rename Example40_web_browsers.mp => Web_Browser_Formal_Security.mp (100%) rename Operational_Process.mp => Wide_Range_Search_for_Wreckage_and_Survivors (100%) rename Example26_timing_attributes.mp => Work_Productivity.mp (100%) diff --git a/Example57_Authentication.mp b/Authentication.mp similarity index 100% rename from Example57_Authentication.mp rename to Authentication.mp diff --git a/Example51_Autonomous_Car.mp b/Autonomous_Car.mp similarity index 100% rename from Example51_Autonomous_Car.mp rename to Autonomous_Car.mp diff --git a/x_Default_Example_Beginner_Use_of_MP.mp b/Beginner_Use_of_MP.mp similarity index 100% rename from x_Default_Example_Beginner_Use_of_MP.mp rename to Beginner_Use_of_MP.mp diff --git a/Example46_CargoScreening.mp b/CargoScreening.mp similarity index 100% rename from Example46_CargoScreening.mp rename to CargoScreening.mp diff --git a/Example50_Flight.mp b/Commercial_Flight similarity index 100% rename from Example50_Flight.mp rename to Commercial_Flight diff --git a/Example59_Cycle_Pattern.mp b/Cycle_Pattern.mp similarity index 100% rename from Example59_Cycle_Pattern.mp rename to Cycle_Pattern.mp diff --git a/Example17_Dining_Philosophers.mp b/Dining_Philosophers.mp similarity index 100% rename from Example17_Dining_Philosophers.mp rename to Dining_Philosophers.mp diff --git a/Example47_Elevator.mp b/Elevator.mp similarity index 100% rename from Example47_Elevator.mp rename to Elevator.mp diff --git a/Example31_Global_report.mp b/Example22_SimpleMessageFlow_GlobalReport.mp similarity index 100% rename from Example31_Global_report.mp rename to Example22_SimpleMessageFlow_GlobalReport.mp diff --git a/Example32_Local_graph.mp b/Example23_CarRace_LocalGraph.mp similarity index 100% rename from Example32_Local_graph.mp rename to Example23_CarRace_LocalGraph.mp diff --git a/Example33_Component_Diagram.mp b/Example24_Compiler_ComponentDiagram.mp similarity index 100% rename from Example33_Component_Diagram.mp rename to Example24_Compiler_ComponentDiagram.mp diff --git a/Example34_Graph_as_data_structure.mp b/Example25_Graph_as_Data_Structure.mp similarity index 100% rename from Example34_Graph_as_data_structure.mp rename to Example25_Graph_as_Data_Structure.mp diff --git a/Example37_GLOBAL_query.mp b/Example26_UnreliableMessageFlow_GlobalQuery.mp similarity index 100% rename from Example37_GLOBAL_query.mp rename to Example26_UnreliableMessageFlow_GlobalQuery.mp diff --git a/Example42_Bar_Chart.mp b/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp similarity index 100% rename from Example42_Bar_Chart.mp rename to Example27_AssemblingStatistics_Table_and_Bar_Chart.mp diff --git a/Example43_Histogram.mp b/Example28_AssemblingStatistics_Histogram.mp similarity index 100% rename from Example43_Histogram.mp rename to Example28_AssemblingStatistics_Histogram.mp diff --git a/Example44_Gantt_Chart.mp b/Example29_AssemblingStatistics_Gantt_Chart.mp similarity index 100% rename from Example44_Gantt_Chart.mp rename to Example29_AssemblingStatistics_Gantt_Chart.mp diff --git a/Example14_microwave_oven.mp b/Example30_MicrowaveOven_ModelingModelChecking.mp similarity index 100% rename from Example14_microwave_oven.mp rename to Example30_MicrowaveOven_ModelingModelChecking.mp diff --git a/Example15_Petri_net.mp b/Example32_Petri_Net.mp similarity index 100% rename from Example15_Petri_net.mp rename to Example32_Petri_Net.mp diff --git a/Example36_Statechart.mp b/Example33_ATMWithdrawal_StatechartView.mp similarity index 100% rename from Example36_Statechart.mp rename to Example33_ATMWithdrawal_StatechartView.mp diff --git a/Example13_FiniteStateDiagram.mp b/Example34_FiniteStateDiagram_PathAnnotation.mp similarity index 100% rename from Example13_FiniteStateDiagram.mp rename to Example34_FiniteStateDiagram_PathAnnotation.mp diff --git a/Example35_Finite_State_Diagram.mp b/Example35_FiniteStateDiagram_PathDiagram.mp similarity index 100% rename from Example35_Finite_State_Diagram.mp rename to Example35_FiniteStateDiagram_PathDiagram.mp diff --git a/Example20_MP_model__reuse.mp b/Example36_Authentication_SystemReuse.mp similarity index 100% rename from Example20_MP_model__reuse.mp rename to Example36_Authentication_SystemReuse.mp diff --git a/Example21_compiler1.mp b/Example37_Compiler1_ComponentReuse.mp similarity index 100% rename from Example21_compiler1.mp rename to Example37_Compiler1_ComponentReuse.mp diff --git a/Example22_compiler2.mp b/Example38_Compiler2_ComponentReuse.mp similarity index 100% rename from Example22_compiler2.mp rename to Example38_Compiler2_ComponentReuse.mp diff --git a/Example63_FindAdvisor.mp b/FindAdvisor.mp similarity index 100% rename from Example63_FindAdvisor.mp rename to FindAdvisor.mp diff --git a/Example53_First_Responder.mp b/First_Responder.mp similarity index 100% rename from Example53_First_Responder.mp rename to First_Responder.mp diff --git a/Example38_knapsack.mp b/Knapsack_Weight_Limit.mp similarity index 100% rename from Example38_knapsack.mp rename to Knapsack_Weight_Limit.mp diff --git a/Example28_MP_model_of_MP_architecture.mp b/MP_Architecture_Specification.mp similarity index 100% rename from Example28_MP_model_of_MP_architecture.mp rename to MP_Architecture_Specification.mp diff --git a/Example48_Manufacturing_Process.mp b/Manufacturing_Process.mp similarity index 100% rename from Example48_Manufacturing_Process.mp rename to Manufacturing_Process.mp diff --git a/Example45_Martian_Lander.mp b/Martian_Lander.mp similarity index 100% rename from Example45_Martian_Lander.mp rename to Martian_Lander.mp diff --git a/Example62_Prisoners_Dilemma.mp b/Prisoners_Dilemma.mp similarity index 100% rename from Example62_Prisoners_Dilemma.mp rename to Prisoners_Dilemma.mp diff --git a/Example27_Railroad_Crossing.mp b/Railroad_Crossing_Safety.mp similarity index 100% rename from Example27_Railroad_Crossing.mp rename to Railroad_Crossing_Safety.mp diff --git a/Example41_Replay_Attack.mp b/Replay_Attack.mp similarity index 100% rename from Example41_Replay_Attack.mp rename to Replay_Attack.mp diff --git a/Example56_Small_Package_Delivery.mp b/Small_Package_Delivery.mp similarity index 100% rename from Example56_Small_Package_Delivery.mp rename to Small_Package_Delivery.mp diff --git a/Example61_Spent_Fuel_Cooling_and_Cleanup.mp b/Spent_Fuel_Cooling_and_Cleanup.mp similarity index 100% rename from Example61_Spent_Fuel_Cooling_and_Cleanup.mp rename to Spent_Fuel_Cooling_and_Cleanup.mp diff --git a/Example16_software_spiral_process.mp b/Spiral_Software_Process similarity index 100% rename from Example16_software_spiral_process.mp rename to Spiral_Software_Process diff --git a/Example60_Surgery.mp b/Surgery.mp similarity index 100% rename from Example60_Surgery.mp rename to Surgery.mp diff --git a/Example52_Swarm_Search_and_Track.mp b/Swarm_Search_and_Track.mp similarity index 100% rename from Example52_Swarm_Search_and_Track.mp rename to Swarm_Search_and_Track.mp diff --git a/Example49_Swarm_UAV.mp b/Swarm_UAV.mp similarity index 100% rename from Example49_Swarm_UAV.mp rename to Swarm_UAV.mp diff --git a/Example39_turtles.mp b/Turtles_in_the_Desert.mp similarity index 100% rename from Example39_turtles.mp rename to Turtles_in_the_Desert.mp diff --git a/Example55_UAV_Ingress.mp b/UAV_Ingress.mp similarity index 100% rename from Example55_UAV_Ingress.mp rename to UAV_Ingress.mp diff --git a/Example58_UAV_OnStation.mp b/UAV_OnStation.mp similarity index 100% rename from Example58_UAV_OnStation.mp rename to UAV_OnStation.mp diff --git a/Example54_Unmanned_Spacecraft_Comms.mp b/Unmanned_Spacecraft_Comms.mp similarity index 100% rename from Example54_Unmanned_Spacecraft_Comms.mp rename to Unmanned_Spacecraft_Comms.mp diff --git a/Example40_web_browsers.mp b/Web_Browser_Formal_Security.mp similarity index 100% rename from Example40_web_browsers.mp rename to Web_Browser_Formal_Security.mp diff --git a/Operational_Process.mp b/Wide_Range_Search_for_Wreckage_and_Survivors similarity index 100% rename from Operational_Process.mp rename to Wide_Range_Search_for_Wreckage_and_Survivors diff --git a/Example26_timing_attributes.mp b/Work_Productivity.mp similarity index 100% rename from Example26_timing_attributes.mp rename to Work_Productivity.mp -- GitLab