Virtuelle Anlagenmodelle für die Automatisierungs­technik