抄録
A-023
P/Tペトリネットにおける特解導出のためのアルゴリズムに関する一考察
○恐神正博・山西輝也・魚崎勝司（福井工大）
P/T ペトリネットにおける可到達判定問題において，状態方程式の解法としてよく知られたFourie-Motzkin 法のアルゴリズムを用いて初等的T-インバリアントの他特解の導出できることを述べるともに，従来のFourie-Motzkin法では得られなかった特解の導出について，Fourie-Motzkin法のアルゴリズムを改良することでそれらの一部が得られることを示す．