ペトリネットを用いた並列計算機AP3000のプログラミング支援

摘要

コンカレントシステムの数学モデルの一つであるペトリネットの拡張モデルの一つに色付きペトリネット（高レベルペトリネット）がある．色付きペトリネットは色の数が有限である限り，色のないペトリネットと等価なモデル化能力をもつ．しかし，このモデルは，特に大規模なシステムのモデリングの容易さ，簡潔さの点で優れている．一方，ペトリネットは並列計算のモデル化，検証に有効であることが知られている．本報告では，並列計算のためのMPIプログラムの色付きペトリネットモデルを用いて，プログラミング支援を行うツールについて述べる．このツールでは，デッドロックの検出，シミュレーションを行うことができ，またべトリネットからMPIプログラムの枠組みを出力することができる．