In this chapter we first introduce the scenario. Next, we describe Coloured Petri Nets: a discrete-event language for modelling synchronisation concurrency and communication processes that we used to simulate the implementation concept. We conclude with remarks on evaluating the implementation concept. Parts of this chapter have been published in Verdiesen et al. (2021). Implementation concept 5|
RkJQdWJsaXNoZXIy MjY0ODMw