For the most recent entries see the Petri Nets Newsletter.

A Net Method for Specification on Reusable Software.

Dhama, H.S.

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.

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

Back to the Petri Nets Bibliography