1: ESPRIT Project 125 - GRASPIN; Technical Paper GMD 40, pages 1-52 pp.. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, March 1990.
Abstract: The Lisp Prototype of GRASPIN environment is a system for the graphical specification and formal implementation of nonsequential systems. It contains tools for editing, simulation and analysis of so called Term Labeled Systems (TLS), a variant of Pr/T-systems. This paper describes GRASIM, a simulation tool for TLS. A short introduction to TLS is given, followed by a description of the specification lanugage SEGRAS which is used for the algebraic specification of the data types necessary in TLS. GRASIM treats Pr/E, PT- and EN-systems as special cases of TLS and allows to handle hierarchical systems as well.
Keywords: LISP graphical simulation (of) nets; GRASPIN; term labeled system; hierarchical system.