In: Angewandte Informatik, Vol. 30, pages 252-258. 1988. In German.
Abstract: Dieser Beitrag beschäftigt sich mit der Anwendung von Petrinetzen zur Spezifikation von lokalen Rechnernetzen. Nach einer Erläuterung der grundlegenden Eigenschaften von Petrinetzen wird ein höheres Netz, das Prädikats-Transitionen-Netz, vorgestellt, für das einige Erweiterungen durchgeführt werden. SchlieÑlich wird dieses Netz zur Modellierung eines lokalen Rechnernetzes, des Token-Rings nach IEEE 802.5, verwendet.