The automatic radiopharmaceutical module consists of several 2-way valves, couple of syringes, gas supply unit, heating(cooling) unit and sensors to control the chemical reagents as well as to help the chemical reaction. In order to control the actuators of radiopharmaceutical module, the process is tabulated using spread sheet as like excel. Unlike the common program, a trivial error is too critical to allowed in the process because the error can lead to leak the radioactive reagent and to cause the synthesis equipment failure during synthesizing. Hence, the synthesis process has been validated using graphic simulation while the operator checks the whole process visually and undergoes trial and error. The verification of the synthesis process takes a long time and has a difficulty in finding the error. This study presents a methodology to verify the process algebraically while the radiopharmaceutical module is converted to the network model. The proposed method is validated using actual synthesis process.