On compact transformation of timed petri nets to timed automata

電子情報通信学会総合大会講演論文集 Volume 2012 Page 206-206

published_at 2012-03-06

Title

時間ペトリネットから時間オートマトンへのコンパクトな変換について

Creators Yamaguchi Shingo

Creators Nakano Shota

Languages jpn

Resource Type journal article

Publishers 電子情報通信学会

Date Issued 2012-03-06

File Version Not Applicable (or Unknown)

Access Rights metadata only access

Relations

[ISSN]1349-1369

[NCID]AN10471452

[isVersionOf] [NAID]http://ci.nii.ac.jp/naid/110009460727/

Schools 大学院理工学研究科（工学）