Translation of AADL to PNML to ensure the utilization of Petri nets - Chatterjee, Amrita (ProQuest Dissertations and Theses, 2014)