SMS: Translation of AADL to PNML to ensure the utilization of Petri nets