For the most recent entries see the Petri Nets Newsletter.

An Experiment in Modelling Communication Protocols Using NPNs.

Ang, C.C.; County, E.J.P.

In: Aust. Comput. J. (Australia) Vol. 20, No. 2, pages 73-78. 1988.

Abstract: The FTAM communication protocol is specified in three sections --- the basic file protocol, the basic bulk data transfer protocol and the error recovery protocol. The part of the FTAM protocol that was modelled is the basic file protocol. Numerical Petri nets (NPN) were used as formal description technique. The NPN model constructed was later verified using the PROTEAN validation tool.

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

Back to the Petri Nets Bibliography