本文提出一种新型的扩展谓词／变迁网系统，在协议工程中作为高层网络协议的形式化描述工具，作者给出ＳＹＮＥＰｒ／ＴＮ网系统的形式定义和变迁规则，解决ＥＰｒ／ＴＮ网......