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

摘要

This paper deals with modeling and analysis of integration of workflows. Workflows can be modeled as a subclass of Petri nets, called workflow nets (WF-nets for short). We first propose a composition rule for WF-nets whose instances are executed in parallel. Next we show that the rule preserves soundness and behavioral inheritance.%企業の合併や企業内の事業再編はワークフローの統合をともなう．ワークフローはベトリネットのサブクラスの一つであるワークフロー（WF）ネットとしてモデル化され，ワークフローの統合はWFネットの合成によってモデル化できる・合成後のWFネットは合成前のWFネットの振る舞いを継承すべきであり，さらに健全でなければならない.本稿では並列に動作するWFネットの合成について議論する．まずWFネットの合成規則を提案する．そして，その合成規則が健全性と振る舞い継承を維持することを示す．