A method to design the control architecture for Remotely Operated Vehicles is presented that is based on the idea to use the Petri net formalism. The ‘safe’ behaviour of the architecture is guaranteed by enforcing some place invariants on the marking of the net. An algorithm to find out feasible sequences of operations to switch between configurations is introduced. Finally, a method to automatically reconfigure the system is shown.