滞留なしペトリネットにおける 依存部分ネット決定アルゴリズムの提案

摘要

本稿ではシグナル伝達経路のモデルである滞留なしぺトリネットモデルにおけるトランジション間の依存関係を調べる.滞留なしペトリネットはいずれのプレースにおいてもトークンの滞留がないペトリネットである.このようなペトリネットでは，上流と下流のトランジシヨンの発火頻度が互いに依存しあう関係にある.このように依存しあう関係の部分ネットを依存部分ネットと呼ぶ.本稿ではまず依存部分ネットを定義しその性質を調べる.次に依存部分ネットを求めるアルゴリズムを提案する.最後に提案したアルゴリズムを依存部分ネットの求解に応用する例を示す.%In this paper, we examine a dependency relationship among transitions in the retention-free Petri net model of a signaling pathway, in which no token is retained at any places. A part of a retention-free Petri net, in which mutual dependencies in firing frequency among transitions exist, is called dependent-subnet. This paper formally defines the dependent-subnet first, and examine its property with respect to shrinking of a subnet later. Next, we suggest an algorithm to extract dependent-subnets. An example of IL-1 signaling pathway is given to confirm the availability of the suggested algorithm.