|
Petri net description of a new satellite network management protocol and its verification
Zhao, Jian-Li (1); Wen, Ying-You (1); Shang, Rui-Qiang (1); Wang, Guang-Xing (1)
2004, 25 (4):
325-328.
DOI: -
Introduces a new management protocol into satellite network, of which the design of service connection/primitives is explained. The way to describe a protocol with Petri net is applied to giving a formal description of the protocol model. Moreover, the analyses of the reachability, S_invariants and T_invariants of Petri nets are utilized to verify the logical correctness of the protocol, thus making sure its boundedness, liveliness, conservation, completeness arid advancement, reducing potential mistakes in protocol designing and laying well a foundation to implement the protocol.
References |
Related Articles |
Metrics
|