diff --git a/Example06_UnreliableChannel_AssertionChecking.mp b/Example06_UnreliableChannel_AssertionChecking.mp index 27e2c36f3c58d09d4f7e431a5d5ea19688650cce..15e1b9bb1fd16b16323b58dcdb40b04f450a792d 100644 --- a/Example06_UnreliableChannel_AssertionChecking.mp +++ b/Example06_UnreliableChannel_AssertionChecking.mp @@ -1,7 +1,4 @@ /* Example 06. Model of Unreliable Channel -See also: from -the Monterey Phoenix System and Software Architecture and Workflow -Modeling Language Manual Purpose: diff --git a/Example13_ConsumersSuppliers_DependencyTracking.mp b/Example13_ConsumersSuppliers_DependencyTracking.mp index 2a6e186cf309644c8aee22097910d7c75f2b16ab..f7ddb2528fa453115601ad165a32ee66d5804d1b 100644 --- a/Example13_ConsumersSuppliers_DependencyTracking.mp +++ b/Example13_ConsumersSuppliers_DependencyTracking.mp @@ -1,6 +1,4 @@ /* Example 13. Model of Consumers Suppliers -See also: from the Monterey Phoenix System -and Software Architecture and Workflow Modeling Language Manual Purpose: diff --git a/Example17_SharedEvents_ProbabilityCalculationsType1.mp b/Example17_SharedEvents_ProbabilityCalculationsType1.mp index a9c15b19f4e9db8a778813567091c2dedd2504e9..2e568fb97524e03957bc9b33a8a2269065684bb8 100644 --- a/Example17_SharedEvents_ProbabilityCalculationsType1.mp +++ b/Example17_SharedEvents_ProbabilityCalculationsType1.mp @@ -1,7 +1,4 @@ /* Example 17. Model of Shared Events -See also: from -the Monterey Phoenix System and Software Architecture and -Workflow Modeling Language Manual Purpose: diff --git a/Example29_AssemblingStatistics_Gantt_Chart.mp b/Example29_AssemblingStatistics_Gantt_Chart.mp index e07fabec6321d28adcbaf0e906388343d8700849..81d28d5b5ab4544d8f76675285ecca02e5321f67 100644 --- a/Example29_AssemblingStatistics_Gantt_Chart.mp +++ b/Example29_AssemblingStatistics_Gantt_Chart.mp @@ -1,7 +1,4 @@ /* Example 29. Model of Gantt Chart -See also: from the Monterey Phoenix -System and Software Architecture and Workflow Modeling -Language Manual Purpose: diff --git a/Example30_MicrowaveOven_ModelingModelChecking.mp b/Example30_MicrowaveOven_ModelingModelChecking.mp index 3854ed040f3136ade3b7b94fab64db638d075e3e..db238ae7266c22b69ef2d73a10808db586e55b00 100644 --- a/Example30_MicrowaveOven_ModelingModelChecking.mp +++ b/Example30_MicrowaveOven_ModelingModelChecking.mp @@ -1,7 +1,4 @@ /* Example 30. Model of Microwave Oven -See also: -checking from the Monterey Phoenix System and Software -Architecture and Workflow Modeling Language Manual Purpose: diff --git a/Example38_Compiler2_ComponentReuse.mp b/Example38_Compiler2_ComponentReuse.mp index 4b0b49b95ac20aa4e22c2c7f6368850f0eceb630..c47eddb86050b7f077a3d653cb902b90f8a55cc3 100644 --- a/Example38_Compiler2_ComponentReuse.mp +++ b/Example38_Compiler2_ComponentReuse.mp @@ -1,6 +1,4 @@ /* Example 38. Model of Compiler 2 -See also: from the Monterey Phoenix System and Software -Architecture and Workflow Modeling Language Manual Purpose: