リソース付き状態機械ワークフローネットにおける最大スループットの計算について

摘要

本報告では、条件付き経路を含むワークフローに対する最大スループットの計算について議論する。 まず条件付き経路を含むワークフローせモデル化するために、リソース付き状態機械ワークフローネットと呼ぶペトリネットを定義する。 次に、そのネットの分岐条件が確率で与えられた場合の構造的及び動的性質を明らかにする。 さらに、そのネットがFIFOに従う場合の最大スループットの計算法を提案する。