The Tool for Object Oriented Petri Nets

Tato práce se zabývá tvorbou nástroje pro práci s Objektově orientovanými Petriho sítěmi za použití dvou rozdílných jazyků PNML a PNtalk. PNML slouží pro popis Petriho sítě, je založený na XML a jeho výhodou je, že dokáže každý prvek Petriho sítě popsat pomocí svých elementů. PNtalk je konkrétní implementací OOPN a je založený na jazyce Smalltalk. Nástroj pro práci s OOPN bude komunikovat s externí aplikací systémem PNtalk z důvodu výměny modelů. Na závěr budou navržena rozšíření nástroje.This thesis deals with creation of the tool for Object Oriented Petri Nets which uses two different languages PNML and PNtalk. PNML is an XML-based interchange format for Petri nets. Its advantage is that it is possible to describe each element of Petri net by element of PNML language. PNtalk is based on the formalism of Object Oriented Petri Nets and also on Smalltalk language. The tool for OOPN will communicate with the external application PNtalk system in order to exchange models between these two applications. There will be discussed possible extensions for the tool at the end of the thesis.

Distributed Forensic Digital Data Repository

Tato práce se zabývá návrhem distribuovaného repositáře zaměřeného jako úložiště rozsáhlých digitálních forenzních dat. Teoretická část práce pojednává o forenzní analýze digitálních dat a co je jejím cílem. Současně také vysvětluje Big data, vhodné úložiště, jejich vlastnosti, výhody a nevýhody. Hlavní část práce se pak zabývá návrhem a implementací distribuovaného úložiště pro digitální forenzní data. Návrh se rovněž zaměřuje na vhodnou indexaci uložených dat a rozšiřitelnost pro podporu nových druhů digitálních forenzních dat do budoucna. Implementovaný systém byl otestován z hlediska výkonnosti pro vstupní data PCAP soubory.This work deals with the design of distributed repository aimed at storing digital forensic data. The theoretical part of the thesis describes digital forensics and what is its purpose. There are also explained Big data, suitable storages, their properties, advantages and disadvantages, in this part. The main part of the thesis deals with the design and implementation of distributed storage for digital forensic data. The design is also focused in suitable indexing of stored data, and supporting new types of digital forensic data. The performance of implemented system was evaluated for chosen type of digital forensic data PCAP files.

The Tool for Object Oriented Petri Nets

This thesis deals with creation of the tool for Object Oriented Petri Nets which uses two different languages PNML and PNtalk. PNML is an XML-based interchange format for Petri nets. Its advantage is that it is possible to describe each element of Petri net by element of PNML language. PNtalk is based on the formalism of Object Oriented Petri Nets and also on Smalltalk language. The tool for OOPN will communicate with the external application PNtalk system in order to exchange models between these two applications. There will be discussed possible extensions for the tool at the end of the thesis