In: Philippi, Stephan: Fachberichte Informatik, No. 7-2000: 7. Workshop Algorithmen und Werkzeuge für Petrinetze, 2.-3. Oktober 2000, Koblenz, Germany, pages 1-6. Universität Koblenz-Landau, Institut für Informatik, October 2000.
Abstract: Die Motivation, Signal-Netz Systeme (SNS) zu untersuchen, geht davon aus, dass Komponenten (auch Module genannt) durch Zustands- und Ereignissignale verknüpft werden. Wir interessieren uns hier für Kompositionsregeln, bei deren Beachten gewisse Lebendigkeitseigenschaften der Komposition garantiert werden.