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.
Back to the Petri Nets Bibliography