In: AFIPS Conf. Proceedings: 1987 National Computer Conference, Vol. 56,, pages 477-483. Reston: AFIPS-Press, 1987.
Abstract: This paper first reviews various design methods for distributed software systems. A new approach to design specification based on the well known Petri nets model is then presented. Methods for design validation of distributed software systems are also discussed.