In: CESA'96, Session on Petri Nets for Multi-Agent and Cooperative Systems, Lille, France., pages -. July 1996.
Abstract: This paper shows that most behavioral constructs used in business process models can be represented by free-choice nets. It also shows the advantages of free-choice nets on the analyzability of models. However, important behaviors like the cancellation of an activity are not free-choice. There are conditions in which it is cost-effective to plan for some activities to be cancelled from time to time. The unbalanced connector is a new construct that allows to express that situation, which turns out to be non-free-choice.
Keywords: free-choice nets workflow control properties behavior.