For the most recent entries see the Petri Nets Newsletter.

An Automated Protocol Validation Tool Based on Extended Numerical Petri Net.

Kim, D.K.; Choi, H.S.; Choi, Y.H.

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.

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

Back to the Petri Nets Bibliography