Petri net-based modeling of fault tolerant Contract Net Protocol

“

as perspectives to this publication, we would like to verify and prove the properties of the protocol for wider participant values using equivalence reduction and parametric analysis techniques. We would like also to tackle the challenge of the manager and the communication channel reliability especially in mobile wireless networks.

”