Description and Validation of Communication Protocol Using Petri Net