Title: Erreichbarkeitsgraphen von Produktnetzen und ihr Auswertung in PROLOG