Behavioural Models

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

• All subchapters: Combined exercises

2 Discrete Dynamic Systems

• 2.1 Characterisation of Dynamic Systems: Exercises
• 2.2 Transition Systems: Exercises
• 2.3 Events and Causality: No exercises.
• 2.4 Application of Discrete Dynamic System Models Exercises

3 Sequential Systems

• 3.1 Finite Automata: Exercises
• 3.2 Automata with Output: Exercises
• 3.3 Extended Automata: Exercises
• 3.4 State Machines: Exercises
• Programming complex Automata: Bonus Exercises

4 Concurrent Systems

• 4.1 State Machines: Exercises
• 4.2 Interacting Systems: Exercises
• 4.3 Petri Nets: Exercises

5 Business Process Models

• 5.1 Workflow Patterns: Exercises
• 5.2 Introduction to Business Process Modelling: Exercises
• 5.3 Business Process Model and Notation: Exercises

Images

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

Solutions

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