ワークフローネットのスーパークラス抽出問題とその一解法

摘要

本稿では2つのワークフローネットN_xとN_yの振舞いから共通プロセスの抽出に取り組む．ワークフローネットの形式で事業継続性を有する共通プロセスは振舞い継承のスーパークラスN_zとしてモデル化できる．スーパークラス抽出問題を定式化し，フットプリント（トランジション間の順序関係）とプロセスマイニングを用いた解法を提案した．