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.