Acyclic拡張自由選択ワークフローネットからAcyclic Well-Structuredワークフローネットへリファクタリングするための条件について

摘要

実用的なワークフローの多くは拡張自由選択ワークフローネットとしてモデル化できる．Acyclic拡張自由選択ワークフローネットのサブクラスにAcyclic well-structuredワークフローネットがある．Acyclic well-structuredワークフローネットは，その構造的制約から比較的多くの解析技法を有している．本稿では，Acyclic拡張自由選択ワークフローネットを分岐双模倣性という振舞いの等価性を維持したままAcyclic well-structuredワークフローネットへ変換するための十分条件を提案する．