Text this: MODELING A NEGOTIATION PROCESS BETWEEN AIRCRAFT USING PETRI NETS