The research on the regularization of flow nets

Regular flow nets, extended from Petri nets and YAWL, have been proposed as bases for modeling web service behavior because of their abilities for dealing with cyclic behavior and data dependences among services. However, the corresponding approach on how to regularize flow nets into regular flow nets has not been given yet. So, in this paper we propose a methodology for the regularization of flow nets. Firstly, we introduce concepts related to flow nets and regular flow nets. Secondly, we define one pattern for each type flow net, and based on these patterns we can get the corresponding regular flow nets of almost all of flow nets through regularization. Finally, some special patterns that might not be regularized together with a particular example are discussed.