The course is devided into two parts. The first one deals with informal or semi-formal methods like IDEF, EPC and UML. The second part is dedicated to formal methods like Petri Nets and how these formal methods can be applied to specify a verify business models.
Literature
Ivo Vondrák: Metody business modelování - textbook
Advised literature
No advised literature has been specified for this subject.