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