In: Microprocessing & Microprogramming (The Netherlands), Vol. 24, No. 1-5, pages 483-490. August 1988.
Abstract: A combined approach to concurrent system specification is presented using two different description techniques: the LOTOS formal specification language and Galileo methodology. Only unidirectional conversion is studied, from LOTOS to Galileo nets. The conversion is performed by formally defining the type of Galileo nets used as an extension of Petri nets with special types of places and transitions.