For the most recent entries see the Petri Nets Newsletter.

A Study on Verification of Service Specification in Communication Software Development.

Shibata, K.; Ueda, Y.; Yuyama, S.; Hasegawa, H.

In: Transactions of the Institute of Electronics, Information and Communication Engineers E, Japan Vol. E71, No. 12, pages 1203-1211. 1988.

Abstract: The authors present a verification method of a service specification in a communication system by utilizing Petri nets. They define a service specification and clarify the features of the specification. The relation between a service specification and the Petri net which represents the specification is discussed.

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

Back to the Petri Nets Bibliography