Work

A deadlock detection algorithm for business processes workflow models