コンテンツメニュー
keywordtimed Petri nets resource typejournal article school大学院理工学研究科（工学）
publish year
2010 - 2014 1
keyword
model checking 1 signaling pathway 1 the amount of description 1 timed Petri nets 1 timed automata 1
resource type
journal article 1
school
大学院理工学研究科（工学） 1
Result 1 Items
Id (<span class="translation_missing" title="translation missing: en.view.desc">Desc</span>)
An efficient translation method from timed petri nets to timed automata
IEICE transactions on fundamentals of electronics, communications and computer sciences Volume E95-A Issue 8
Creators : Nakano Shota | Yamaguchi Shingo Publishers : Institute of Electronics, Information and Communication Engineers Date Issued : 2012-08
Related Creatrors
Yamaguchi Shingo 1
Yamaguchi Univ. Library
〒753-8511　1677-1 Yoshida, Yamaguchi, Yamaguchi

E-Mail: yunoca@yamaguchi-u.ac.jp
Copyright（C）2006-2018 Yamaguchi University Library. All Rights Reserved.