讨论各种形式描述技术的特征及其优缺点,从而引出基于PETRI网理论的FDT。该文说明了Petri网作为协议描述技术的优势。