ペトリネットの状態数の多項式時間計算について : 有界性と入れ子構造を活用したアプローチ

情報処理学会研究報告. AL, アルゴリズム研究会報告 Volume 2012-AL-142 Issue 3 Page 1-6

published_at 2012-10-26

Title

Creators 洲崎武史

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 大学院理工学研究科（工学）