<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Oct 24, 2016 at 11:41 PM, Martin Schreiber via Lazarus <span dir="ltr"><<a href="mailto:lazarus@lists.lazarus-ide.org" target="_blank">lazarus@lists.lazarus-ide.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Monday 24 October 2016 19:53:21 Mehmet Erol Sanliturk via Lazarus wrote:<br>
><br>
><br>
> My opinion is that event based programming needs special care .<br>
> A simulation example may be useful , for example , by using PetriSim<br>
> sources , adapted to Free Pascal .<br></blockquote><div><br><br></div><div>Please here add the following sentence :<br><br><br></div><div>Then a Petri Net definition may be represented by Lazarus forms easily .<br></div><div>I am not ignoring other works such as fpGUI , mseIDE-mseGUI , but we are talking about mostly Lazarus .<br></div><div><br><br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
><br>
The last chapter of "Programmieren macht Spass!" is a lift simulation:<br>
<a href="http://mseide-msegui.sourceforge.net/pics/aufzug.mpeg" rel="noreferrer" target="_blank">http://mseide-msegui.<wbr>sourceforge.net/pics/aufzug.<wbr>mpeg</a><br>
<span class="HOEnZb"><font color="#888888"><br>
Martin<br>
--<br>
______________________________<wbr>_________________</font></span><br></blockquote></div><br><br><br></div><div class="gmail_extra">It is difficult to play *.mpeg files in Linux ( there is no default player ) . If you have a converter to format which can be played with default players of Linux ( for example , Dragon Player ) , it would be a very good contribution .<br></div><div class="gmail_extra"><br><br></div><div class="gmail_extra">Simulation subjects may be selected easily for the Department related subjects where Lazarus is taught .<br></div><div class="gmail_extra"><br><br></div><div class="gmail_extra">Mehmet Erol Sanliturk<br></div><div class="gmail_extra"><br><br></div></div>