Sadiq Jassim Abou-Loukh

• Petri nets for computer sequence generation to control batch processes