Petri Net Model of Multiplex Network Management Protocol and Its Verification
Wang Guang-xing · Acta Simulata Systematica Sinica · 2005
A new network management protocol of satellite network was introduced. The design of its service connection primitives was explained and the Petri net model was given. Moreover, the analysis of the reachability, S_invariants and T_invariants of Petri nets were utilized to verify the logical correctness of the protocol, which guaranteed its boundedness, liveliness, conservation, completeness and advancement, reduced potential mistakes in protocol designing and built a solid foundation for the implementation of the protocol.