CPN Tools modeling

Its a simple modeling project using CPN Tools. I need to model a network protocol, using CPN Tools and conduct state-space analysis. I shall provide a simple algorithm explaining how it works. The freelancer is required to model it correctly and perform state-space analysis and explain the results. Its pretty simple for someone who has working knowledge of CPN tools, so I am expecting completion withing 1 day.