Oct 19, 2019   9:26 p.m. Kristián
Academic information system

Summary of topics offered - Faculty of Electrical Engineering and Information Technology


Basic information

Type of work: Bachelor thesis
Topic: Procesne riadený rezervačný systém
Title of topic in English: Process-driven reservation system
State of topic: approved (prof. Dr. Ing. Miloš Oravec - Study programme supervisor)
Thesis supervisor: Ing. Milan Mladoniczky
Faculty: Faculty of Electrical Engineering and Information Technology
Supervising department: Institute of Computer Science and Mathematics - FEEIT
Max. no. of students: --
Academic year:2018/2019
Proposed by: Ing. Milan Mladoniczky
Summary: Cieľom práce je navrhnúť a implementovať univerzálny rezervačný systém, ktorého jednotlivé súčasti sú navrhnuté pomocou procesov vo formalizme Petriho sietí a následne implementované v modelovacom jazyku Petriflow. Systém má zabezpečiť všetkú potrebnú funkcionalitu rezervačného systému. Systém musí ponúkať používateľsky prívetívé grafické rozhranie v podobe webovej aplikácie. Úlohy: 1. Naštudovať modelovací jazyk Petriflow. 2. Analyzovať exitujúce riešenia. 3. Navrhnúť a implementovať procesy systému. 4. Overiť a otestovať implementované riešenie na modelových prípadoch použitia. Literatúra: 1. VAN DER AALST, Wil MP. The application of Petri nets to workflow management. Journal of circuits, systems, and computers, 1998, 8.01: 21-66. 2. DESEL, Jörg; JUHÁS, Gabriel. “What Is a Petri Net?” Informal Answers for the Informed Reader. In: Unifying Petri Nets. Springer, Berlin, Heidelberg, 2001. p. 1-25. 3. MLADONICZKY, Milan, et al. Petriflow: Rapid language for modelling Petri nets with roles and data fields. Algorithms and Tools for Petri Nets, 2017, 45.



Limitations of the topic

To sign up for a topic it is necessary to fulfil one of the following restrictions

Restrictions by study
The table shows restrictions by study to which the student has to be enrolled in order to sign up for the given topic.

ProgrammeTrack
B-API Applied InformaticsB-API-MSUS Modeling and Simulation of Event Systems

Limit to courses
The table shows limitations of a course the student has to complete to be able to register for a given topic.

DepartmentCourse title
No suitable data found.