For the most recent entries see the Petri Nets Newsletter.

Analysis of Design Specification in a Communication System by Means of Petri Nets.

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

In: Proc. of COMPSAC 87, pages 701-706. Washington: IEEE Computer Society Press, 1987.

Abstract: An outline is presented of an expert system that automatically designs the specification for a communication system from users' requirements. Each requirement in converted into a PSG (partial service graph), and all PSGs are integrated into a TSG (total service graph). PSG and TSG are described by Petri nets. They may have some errors or inconsistencies, which must be detected and resolved.

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

Back to the Petri Nets Bibliography