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.