Behavioural Models From Modelling Finite Automata to Analysing Business Processes /

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, a...

Full description

Main Authors: Kunze, Matthias. (Author, http://id.loc.gov/vocabulary/relators/aut), Weske, Mathias. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edition:1st ed. 2016.
Subjects:
Online Access:https://doi.org/10.1007/978-3-319-44960-9