Behavioural Models: From Modelling Finite Automata to Analysing Business Processes

by Matthias Kunze and Mathias Weske

Book Overview

This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes. The underlying concepts are introduced and concrete modelling techniques are described, such as finite automata, state machines, and Petri nets. The concepts are related to concrete application scenarios, among which business processes play a prominent role.

The book consists...

• Format: Paperback
• Language: English
• ISBN: 3319831720
• ISBN13: 9783319831725
• Release Date: June 2018
• Publisher: Springer
• Length: 279 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.5" x 8.5" x 9.3"