Clans of Petri Nets: Verification of protocols and performance evaluation of networks