Evaluating Cross-layer Context Exchange in Mobile Ad-hoc Networks with Colored Petri Nets | IEEE Conference Publication | IEEE Xplore