ANALYSIS OF PROPERTIES IN A PETRI NETS-BASED MODEL OF MANETS