<div dir="ltr">2008/8/18 Matthias Lang <span dir="ltr"><<a href="mailto:matthias@corelatus.se">matthias@corelatus.se</a>></span><br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
The second is to implement a lift controller. This problem is fairly<br>
well known in the formal methods & SE world, e.g.<br>
<br>
  <a href="http://www.soi.wide.ad.jp/class/20060036/materials_for_student/10/14126.pdf" target="_blank">http://www.soi.wide.ad.jp/class/20060036/materials_for_student/10/14126.pdf</a><br>
  <a href="http://se.uwaterloo.ca/%7Edberry/ATRE/ElevatorSRSs/SRS2/SRS2-Vahid-Karimi.pdf" target="_blank">http://se.uwaterloo.ca/~dberry/ATRE/ElevatorSRSs/SRS2/SRS2-Vahid-Karimi.pdf</a><br>
<br>
you can make it more complicated by having multiple lifts, inventing<br>
scheduling strategies and by adding realism, for instance modelling<br>
the subtleties of lifts that are in motion near stops---e.g.  a lift<br>
needs, say, 2 metres of advance warning to stop somewhere. Like the<br>
POTS exercise, a graphical simulator makes it more fun. Even with<br>
multiple lifts, it's not as "concurrent" as it first seems.</blockquote><div><br>In the old Erlang book there is a lift controller example, as well as the telephony example.<br><br>Robert<br><br></div></div>
</div>