In: ACM SIGSOFT Enginneering Notes, Vol. 14, No. 3; Proceedings of the Fifth International Workshop on Software Specification, 1989, Pittsburgh, Pennsylvania, USA, pages 137-139. May 1989.
Abstract: The Net Method has been developed for specifying software components based on Petri nets. Using two types of nodes and three types of connectors, five primitives of the specification method habe been constructed. Only these five primitives are then used as building blocks to specify software. Although the Net Method was originally designed for software components, it has been found to be particularly suited for specifying systems that have a number of parallel processes and require the synchronization of a number of activities.
Keywords: reusable software; net method; distributed system.