Sweet Note – Sakura Girl (No Copyright Music).mp3.
What is our model about ?. We simulated the train station in Kosice model in CPN Tools as a colored Petri net- the arrival of passenger , the purchase of offered snacks and tickets checks.
What did we do?. Obrázok, na ktorom je text Automaticky generovaný popis.
Arrival of passenger. When a passenger arrives to the station , he automatically gets an id number.
Process of buying Machine Ticket. The first option when passenger has any ticket is to buy it through the machine ( goToMachQueue )..
Process of buying tickets. cashDesk andalSO (length (#cueue 1' (Qld-l, queue- queue= choosinoseat PASSENGER addSeatTim with _ seat PASSENGER pa,O))) cashoesk_t 'sv finish_reservation C#seat wthout_se PASSENGER tckt p_pay PASSENGER PASSENGER _ QUEUE queue= (Sticker 0>10 andalso *ticket 0<701 goToTlcketqu.
Process of buying food. After entering the queue, two cases can occur again (p - chooseFood )..
What did we want to optimize ?. Conclusion. You can describe the topic of the section here.
What experiment did we do?. “This is a quote. Words full of wisdom that someone important said and can make the reader get inspired.”.
Results of our experiment.
Conclusion. Insert a subtitle here if you need it.
This is a graph.
Thanks for watching!.
Image sources. https://thenounproject.com/ pinterest.com / pin /415457134383637703/.