ペトリネットの状態数の多項式時間計算について : 有界性と入れ子構造を活用したアプローチ
情報処理学会研究報告. AL, アルゴリズム研究会報告 Volume 2012-AL-142 Issue 3
Page 1-6
published_at 2012-10-26
Title
ペトリネットの状態数の多項式時間計算について : 有界性と入れ子構造を活用したアプローチ
Creators
洲崎 武史
Languages
jpn
Resource Type
journal article
Publishers
情報処理学会
Date Issued
2012-10-26
File Version
Not Applicable (or Unknown)
Access Rights
metadata only access
Relations
[ISSN]0919-6072
[NCID]AN1009593X
[isVersionOf]
[NAID]http://ci.nii.ac.jp/naid/110009465410/
Schools
大学院理工学研究科（工学）