The goal of this thesis was to design and implement a graphical editor for workflow modelling, focusing on productivity, simplicity and usability for the common user. The resulting application is integrated into the FlowOpt project, in which the workflows can be used to manage manufacturing processes in small and medium size factories. The workflow editor should serve among other things as a proof of concept of practical usability of the Nested TNA workflow model. The main parts of the thesis include a working implementation of the editor, a procedure for automatic verification of the workflows and support of the XPDL (BPMN) standard for saving workflows.

The goal of this thesis was to design and implement a graphical tool for visualization and editing of schedules which would provide a function for automatic repairing of violated constraints in the schedule. The resulting application called a Gantt Viewer is integrated to the FlowOpt project that represents a complex solution for modeling workflows, creation of schedules from them and analysis of these schedules. The application has been developed with the focus on intuitiveness of the user interface and performance during the management of large schedules. It enables the user to visualize extended manufacturing schedules thanks to the cooperation with other modules of the FlowOpt project. Moreover, the Gantt Viewer incorporates a repair tool exploiting a new Repair-DTP algorithm which is both introduced and demonstrated in this work.