In: Proc. of the IEEE Conf. TENCON 87: Computers and Communications Technology Toward 2000, Vol. 2, pages 351-355. New York: IEEE, 1987.
Abstract: Protocol modeling is performed using the extended numerical Petri net, which is an enhanced version of the numerical Petri net. It is also used as a basis for a general methodology that can automatically verify protocols.