@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00235740,
 author = {太田, 真生 and 和﨑, 克己},
 book = {第86回全国大会講演論文集},
 issue = {1},
 month = {Mar},
 note = {本研究では，非有界ペトリネットにおける拡張被覆木（Cyclic CRTs,Lu,et.al. 2019）による表現方法の拡張とデッドロック状態の抽象表現の提案を目的としている．現在，非有界ペトリネットの木構造での表現方法としてCRTsが存在する．非有界ネットではデッドロック性の検知が困難であるが，CRTsはそれを特定の条件下で可能にする．本研究では生成されたCRTsに対して，生成アルゴリズムの中でωに被覆されるプレースのトークン数増減による分類や，それに関する構造的要素の追加によって表現の拡張を行う．また，発見されたデッドロック状態までの，ルートからの発火系列を用いた抽象表現を提案する．},
 pages = {265--266},
 publisher = {情報処理学会},
 title = {拡張被覆木CRTsを用いた非有界ペトリネットのデッドロック性の判定と表現},
 volume = {2024},
 year = {2024}
}