扩展时间Petri网在CSMA/CD建模中的研究

Research on modeling of CSMA/CD by using the extended timed Petri net

对CSMA/CD的建模有利于对协议本身进行分析和评价,在对存在冲突事件的系统建模时,利用普通Petri网不能很好地反映和解决冲突。该文介绍一种扩展时间Petri网(ETPN),它利用在弧上赋予时间函数来解决冲突事件发生,然后用ETPN来对CSMA/CD进行建模并对模型进行分析。在较复杂的系统中,ETPN能够反映并解决事件的冲突,具有灵活、直观、可扩展性好等优点。

Modeling of Carrier Sense Multiple Access/Collision Detection（CSMA/CD） is beneficial to evaluation and analysis of the protocol. The ordinary Petri net can not reflect and solve collision in modeling the system with collision. An extended timed Petri net （ETPN） is introduced herein, and the arc is endowed with the time function to solve the collision occurrence. Modeling of CSMA/CD by the ETPN is made,and the model analyzed. The ETPN,which is flexible, simple and extended easily, can reflect and solve collision in the complex system.