For the most recent entries see the Petri Nets Newsletter.

Support System for Specification Phase of Communication Software.

Shibata, K.; Tanaka, W.; Hasegawa, H.

In: IECE Global Telecommunications Conference, Vol. 1: GLOBECOM Tokyo'87 IEEE, pages 646-650. 1987.

Abstract: The authors have developed a software support system, EXPRESS, that designs the specification for a communications system. It designs the specification according to users' requirements using natural language and verifies the specification. Each requirement is converted into a PSG (partial service graph) and all PSGs are integrated into a TSG (total service graph). The TSG is the final design specification. Both PSGs and TSGs are described using Petri nets.

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

Back to the Petri Nets Bibliography