Clans of Petri Nets: Verification of protocols and performance evaluation of networks | lit.salon