Virtuelle Anlagenmodelle für die Automatisierungstechnik