Behavioural Models From Modelling Finite Automata to Analysing Business Processes /

• Main Authors: Kunze, Matthias (Author), Weske, Mathias (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Subjects: Computer science.; Management information systems.; Industrial management.; Software engineering.; Computers.; Computer simulation.; Computer Science.; Software Engineering.; Computation by Abstract Devices.; Simulation and Modeling.; Business Process Management.

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