Translation Of Aadl To Pnml To Ensure The Utilization Of Petri Nets