Behavioural Models

From Modelling Finite Automata to Analysing Business Processes

Exercise Overview

This section provides you with exercises for different topics covered in the book. The exercises are organized along the chapters from the book.

1 Introduction

2 Discrete Dynamic Systems

3 Sequential Systems

4 Concurrent Systems

5 Business Process Models


You can find all images used for the exercises in full resolution in this document here


For lecturers, we can provide solutions as pdf. Please contact us at mathias dot weske at hpi dot de.