Ask first.
Petting is used for positive reinforcment . If tis done at the wrong time, you will mess up a Dog. No one should be petting strangers dogs or Dogs that are excited.
Peter Caine Dog training
Peter Caine, Brooklyn Dog Training ReadYourDog.com