Converting weakly dynamic programs to equivalent process network specifications door