In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 340: Advances in Petri Nets 1988, pages 283-306. Springer-Verlag, 1988.
Abstract: Galileo is a combination of a technique and tools based on Petri Nets, and developed for use in the design of telecommunication systems. The paper explains the development of some telecommunication systems using Galileo: the environment, the design strategy, the telecommunication system and the nets which model it, and the analytical history of the design.