Tjell, SimonHochberger, ChristianLiskowsky, Rüdiger2019-06-042019-06-042006978-3-88579-188-1https://dl.gi.de/handle/20.500.12116/23524In this paper, a reactive and nondeterministic system is tested. This is done by applying a generic model that has been specified as a configurable Coloured Petri Net. In this way, model-based testing is possible for a wide class of reactive system at the level of discrete events. Concurrently executed tasks are specified at a high level of abstraction and test traces are collected through state space analysis of the model.enText/Conference Paper1617-5468