Simulation of P2P Resource Access Control Protocols in Petri-Net

To guarantee the rationality of the resource access and the correctness of the protocol design, an access control protocol is proposed and the designed protocol is modeled in Petri-net. Firstly, the protocol is analyzed by means of the properties of Petri-net to prove its correctness. Then, the protocol model is created, run and debugged using CPN Tools. The performance is simulated by means of observing the running steps of the protocol. The experiment results show that stepping into the protocol is very helpful to discover or eliminate the designing bug and to optimize the protocol design for meeting the given goal.