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.
Back to the Petri Nets Bibliography