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