110 5 CHAPTER 5 Figure 17: Scenario implementation concept plotted on the Glass Box framework and the Comprehensive Human Oversight Framework 5.2 SIMULATION OF IMPLEMENTATION CONCEPT We created a simulation of the implementation concept of a pre- and post-flight procedure as an example using Coloured Petri Nets (CPNs) as modelling language (Jensen, 1994). CPNs is a discrete-event language for modelling synchronisation concurrency and communication processes. The language consists of states and events and a system that can change a state. CPNs combine a description of the synchronisation of concurrent processes with the primitives of a programming language which enables the definition of data types and adjustment of data values. CPNs have been applied to a variety of systems, from the description of work processes, communication protocols, distributed algorithms to flexible manufacturing processes (Jensen, 1994). Jensen (1994) provides two reasons for applying CPNs. The first is that a CPN model can specify or present a
RkJQdWJsaXNoZXIy MjY0ODMw