Thesis Details

Koordinace internetu věcí pomocí Petriho sítí

Master's Thesis Student: Unzeitig Patrik Academic Year: 2018/2019 Supervisor: Janoušek Vladimír, doc. Ing., Ph.D.
English title
Coordination of Internet o Things by Means of Petri Nets
Language
Czech
Abstract

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.

Keywords

Internet of Things, IoT, High-level Petri Nets, SNAKES, Renew, ESP32, Raspberry Pi, MQTT, PNML RefNet, Domoticz

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology, Field of Study Intelligent Systems
Files
Status
defended, grade E
Date
17 June 2019
Reviewer
Kočí Radek, Ing., Ph.D.
Committee
Zbořil František, doc. Ing., Ph.D. (DITS FIT BUT), předseda
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
Citation
UNZEITIG, Patrik. Koordinace internetu věcí pomocí Petriho sítí. Brno, 2019. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2019-06-17. Supervised by Janoušek Vladimír. Available from: https://www.fit.vut.cz/study/thesis/21601/
BibTeX 
@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/"
}

Theses

Back to top