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 in 1 or 2 pages. Its pretty simple for someone who has working knowledge of CPN tools, so I am expecting completion withing 3, 4 days.