On the Fly Verification of Network of Automata