健全性と振る舞い継承を維持するワークフローネットの並列合成について

摘要

企業の合併や企業内の事業再編はワークフローの統合をともなう．ワークフローはペトリネットのサブクラスの一つであるワークフロー（WF）ネットとしてモデル化され，ワークフローの統合はWFネットの合成によってモデル化できる．合成後のWFネットは合成前のWFネットの振る舞いを継承すべきであり，さらに健全でなければならない．本稿では並列に動作するWFネットの合成について議論する．まずWFネットの合成規則を提案する．そして，その合成規則が健全性と振る舞い継承を維持することを示す．