Formalisierung von Fertigungsprozessen