Automated synthesis of hybrid Petri net models for robotic cells in the aircraft industry