In: Journal of the Society of Instrument and Control Engineers, Vol. 28, No. 9, pages 784-787. September 1989. In Japanese.
Abstract: The author deals with the applications of Petri nets for specification verification in communication software. The topics discussed include: communication software characteristics, the finite state machine, service specifications, the overview of EXPRESS (Expert System for an Electronic Switching System), and the definition of Petri net language.
Keywords: specification verification; communication software; expert system (for an) electronic switching system; net language.