For the most recent entries see the Petri Nets Newsletter.

An Application on Specification Verification in Communication Software.

Hasegawa, H.

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.

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

Back to the Petri Nets Bibliography