Acyclic StructuredプログラムネットのPARAdegの評価と応用について

摘要

プログラムネットの並列性はPARAdegを通して研究されてきた。 葛らはSWITCH-nodeを持たないプログラムネット(SWITCH-lessネット)のPARAdegを計算するアルゴリズムを提案した。 彼らはまたPARAdegがSWITCH-lessネットの並列性に合っていることを実験により実証した。 筆者らの研究グループはSWITCH-nodeを持つプログラムネットのサブクラスのひとつとしてstructuredプログラムネットを定義し、acyclic structuredネットのPARAdegを計算することが手に負えないことを示した。 さらに、PARAdegを与えるひとつの発火系列に着目し、PARAdegがacyclic structuredネットの並列性に合っていることを実験により実証した。 structuredネットには条件分岐によって複数の発火系列が存在する。 しかしながら全ての発火系列を考慮した評価は行われていない。本稿では、全ての発火系列を考慮してPARAdegがacyclic structuredネットの並列性に合っていることを示す。 最後にPARAdegの応用を二つ提案する。