In: Microprocessing & Microprogramming (The Netherlands), Vol. 24, No. 1-5, pages 471-482. August 1988.
Abstract: A compiler is presented for a prototyping language called RELOS which allows incomplete requirement description. The operational semantic of RELOS is described by extended Petri nets called function nets. The RELOS language constructs are mapped onto function nets, which can be simulated and analyzed by a corresponding net-interpreter.