Thesis Details
Koordinace internetu věcí pomocí Petriho sítí
This thesis focuses on implementation of system which supports dynamic load and run of user applications with use of interpreted language Python. It's based on MPOS (operation system for ESP8266/ ESP32). The system is able to load application in the form of source code or High-level Petri Net used to describe components in PNML RefNet format. The Petri Nets are created in visual editor Renew which supports exporting to a file in PNML RefNet format. Receieved Petri Net is converted to system's application in Python which can be used to interpret received Petri Net by using SNAKES library with created plugin.User applications use MPOS compatible protocol to communicate with other applications running on any node in the same network via MQTT. The implemented software can be used for heating control in home and new features can be added by using of new applications. Home automation system Domoticz is used to control, monitor and save data to database.
Internet of Things, IoT, High-level Petri Nets, SNAKES, Renew, ESP32, Raspberry Pi, MQTT, PNML RefNet, Domoticz
Bidlo Michal, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Burget Lukáš, doc. Ing., Ph.D. (DCGM FIT BUT), člen
Grézl František, Ing., Ph.D. (DCGM FIT BUT), člen
Lucká Mária, prof. RNDr., Ph.D. (FIIT STU), člen
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS FIT BUT), člen
@mastersthesis{FITMT21601, author = "Patrik Unzeitig", type = "Master's thesis", title = "Koordinace internetu v\v{e}c\'{i} pomoc\'{i} Petriho s\'{i}t\'{i}", school = "Brno University of Technology, Faculty of Information Technology", year = 2019, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/21601/" }