A petri net based model for AEB systems considering vehicle and pedestrian/cyclist in a certain area