diff --git a/Application_examples/Elevator.mp b/Application_examples/Elevator.mp index 48189b3b39099220fadc227d6a12035c8bf38aab..b6fbf7063ec4f0c62aa8b784daddac1583e41d6c 100644 --- a/Application_examples/Elevator.mp +++ b/Application_examples/Elevator.mp @@ -1,4 +1,6 @@ -/*Elevator Model +/* Model of [Elevator] + +Elevator Model K.Giammarco circa 2011 @@ -40,4 +42,4 @@ COORDINATE $a: Call_for_help FROM Passenger, Passenger, Elevator SHARE ALL Available, Non_Available; Passenger, Maintenance_Personnel SHARE ALL Emergency_Situation, Elevator_works_fine; - \ No newline at end of file +