Description: 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.
- [S_Transformation] - S transform Matlab source, Applied Signa
- [WinTTPN] - petri winttpn
- [zhs019] - Petri nets: basic concepts and analytica
- [manet(petrinet)] - Investigation of Mobile Ad-Hoc Networks
- [nr] - Newton Raphson method Rapp trend even if
File list (Check if you may need any files):
Petri\复件 olsr.cpn
.....\test1.cpn
.....\total.cpn
.....\mc-mac\state space report
.....\mc-mac
.....\output\logfiles
.....\output
.....\cpntools.dump
.....\mc-mac.cpn
Petri