For the most recent entries see the Petri Nets Newsletter.

Design Methods for Distributed Software Systems.

Chang, C.K.; Aoyama, M.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography