A Proposal of Refactoring toWell-StructuredWorkflow Nets

In this paper, we discuss refactoring free choice workflow nets (WF-net for short) to well-structured ones. It is known that most actual workflows can be modeled as free choice or well-strcutured WF-nets. There are more analysis methods for well-structured WF-nets. Refactoring free choice WF-nets to well-structured ones enables us to apply many analysis methods to free choice ones. We propose two rules for the refactoring. And we show an example of refactroing a WF-net, which represents the actual workflow for an travel agency.