Experiences in the Use of Galileo to Design Telecommunication Systems. - Ignacio Lopez; M. Carmen Palaez (European Workshop on Applications and Theory of Petri Nets, 1987)