We did several things in generating the graphical notation of the process: