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

摘要

実用的なワークフローの多くは拡張自由選択ワークフローネットとしてモデル化できる．Acyclic拡張自由選択ワークフローネットのサブクラスにAcyclic well-Strcuturedワークフローネットがある．Acyclic well-Structuredワークフローネットは，その構造的制約から比較的多くの解析技法を有している．本稿では，Acyclic拡張自由選択ワークフローネットを分岐双模倣性という振舞いの等価性を維持したままAcyclic well-Structuredワークフローネットへ変換するための十分条件を提案する．%Most of actual workflows can be modeled as free choice workflow nets. There is a subclass of acyclic free choice workflow nets, which is called acyclic well-structured workflow nets. Acyclic well-structured workflow nets have relatively more analysis techniques than acyclic free choice workflow nets. In this paper, we propose a sufficient condition for transforming acyclic free choice workflow nets to acyclic well-structured workflow nets, which preserves a behavioral equivalence called branching bisimilarity.