Framework Machinations is a tool for representing board games mechanics and mechanics of some computer games. Its main purpose is to allow game designers to test and tune the game's parameters before games release. However, current framework is not able to create models of some game mechanics and by that, it forces its users to simplify their models. The aim of this work is to extend framework machinations into a tool capable of simulating board game mechanics without having to simplify them. Thesis includes a program for working with an extended framework and a case study detailing the implementation of the Stone Age game in the extended framework.

The author analyses the existing legislation regarding crime related to public procurement, focusing on those that directly relate to public procurement. The primary objective of this thesis is a thorough analysis of sections 248 paragraph 2 alinea 2, section 256 and section 257 of the Czech criminal code. Following a brief historical introduction this thesis describes some of the important legal instruments present in the new law regulating public procurement, emphasising the new ones that may have a strong impact on criminal liability. The main part of the thesis then analyses the three aforementioned crimes, putting emphasis on the recent decisions of the Czech courts in this matter. The author also provides practical examples of criminal conduct related to public procurement. The author also focuses on some other crimes that may not be directly related to public procurement, but are in practice more or less often committed in relation to public procurement or together with the three aforementioned crimes. The author has also carried out a detailed analysis of the available case-law related to the crimes described in sections 248 paragraph 2 alinea 2 and 257 of the Czech criminal code in a time period between its entry into force up to the date of submitting this thesis. The reason for this...