Collaborative business can become unreliable in terms of au-
thorization policy conflicts, for example, when (1) incorrect role assign-
ment or modification occurs in a service within one organization or (2)
messages transferred from one organization are accessed by unqualified
roles in other collaborating business partners. Therefore reliability veri-
fication based on access policies is critical for business collaboration. In
this paper, a role authorization model, Role-Net, is developed based on
Hierarchical Colored Petri Nets (HCPNs) to specify and manage role
authorization in business collaboration and to verify collaboration relia-
bility according to partners’ authorization policies.