A Data Flow Diagram (DFD) is a representation of flow of data, specification of requirements and modelling of a system in System Development Life Cycle (SDLC). The Coloured Petri Net (CPNET) is a mathematical and graphical modelling language used to design, simulate and verify the system with token values attached. This paper presents the transformation of DFD into CPNET with addition of token values with specific colour to include the behaviour property in the DFD. The simulation process of static DFD is shown with the case study of the train ticket reservation system by using CPNET model and tokens and colours of values between transitions. This paper shows the run time simulation of each element of the data flow diagram with respect to formalism of different tokens.