Contents Menu

On compact transformation of timed petri nets to timed automata

電子情報通信学会総合大会講演論文集 Volume 2012 Page 206-206
published_at 2012-03-06
Title
時間ペトリネットから時間オートマトンへのコンパクトな変換について
On compact transformation of timed petri nets to timed automata
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 大学院理工学研究科(工学)