情報処理学会 第81回全国大会講演要旨

ソフトウェアモデリングのための表記法のひとつである拡張プレース/トランジションネットでは，ソフトウェアの状態遷移に関するグラフ表現に対して，アクションやガードの形式的定義を加えることができる．本研究では，これに対してさらに属性付きトークンを導入することによって，ソフトウェアにおける複数のオブジェクトの並行動作を表現したり，競合する複数の処理の優先順位を表現したりするための効果的な方法を考察する．