For the most recent entries see the Petri Nets Newsletter.

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

Hasgawa, H.; Tanako, W.; Shibata, K.

In: IEEE Compsac'87, Proceedings of the Eleventh Annual International Computer Software and Applications Conference, pages 701-706. 1987.

Abstract: An expert system EXPRESS is being developed. EXPRESS designs automatically the specification for a communication system from users' requirements. Each requirement which means one of the service features is converted into PSG (Partial Service Graph). TSG is the final specification and the most fundamental document in programming communication software. PSG and TSG are described in Petri Net.


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

Back to the Petri Nets Bibliography