Using Petri Net Plans for Modeling UAV-UGV Cooperative Landing