Converting weakly dynamic programs to equivalent process network specifications by