Schmidt, Heinz W. "Analysis of Petri Nets in the GRASPIN Environment" ESPRIT Project 125 - GRASPIN; Technical Paper GMD 41/1 --- St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH Mar, 1990

Languages mentioned

• SEGRAS {1985}