Based on colored petri net modeling. With CPNTools on the MC-MAC protocol model, divided into three parts: the general, sending node, receiving node model. And accessibility are analyzed to verify the correctness of the agreement.

Petri\复件 olsr.cpn
.....\test1.cpn
.....\total.cpn
.....\mc-mac\state space report
.....\mc-mac
.....\output\logfiles
.....\output
.....\cpntools.dump
.....\mc-mac.cpn
Petri

• We are an exchange download platform that only provides communication channels. The downloaded content comes from the internet. Except for download issues, please Google on your own.
• The downloaded content is provided for members to upload. If it unintentionally infringes on your copyright, please contact us.
• Please use Winrar for decompression tools
• If download fail, Try it againg or Feedback to us.
• If downloaded content did not match the introduction, Feedback to us，Confirm and will be refund.
• Before downloading, you can inquire through the uploaded person information

Nothing．