Petrinetzbasierte Modellierung von Rechnerstrukturen in PROLOG. - T. Bartsch; W. Kubalski; Walter Ameling (Simulationstechnik, 1987)