Petri Net Description of a New Satellite Network Management Protocol and Its Verification

• 一种新型卫星网管协议的Petri网描述与验证