Methode zur funktionellen Spezifikation von Abläufen mittels Objekt/Funktion-Reihungsnetzen