Behavioural Models

From Modelling Finite Automata to Analysing Business Processes

Exercises

2.4 Application of Discrete Dynamic System Models

Take the labelled state transition system of a manufacturing process given in the book in Fig. 2.3. Identify Stachowiak's properties mapping, abstraction and pragmatics of the given model.

2.3 manufacturing process
Fig. 2.4 Manufacturing process