Stefan Niehuis

• Modellierung und Simulation von Pr/T-Netzen in Prolog