Title: Modellierung und Simulation von Pr/T-Netzen in Prolog