コンテンツメニュー
publish year2010 - 2014 keywordtimed Petri net
publish year
2010 - 2014 3
keyword
timed Petri net 3 retention-free Petri net 2 behavioral inheritnce 1 cycle 1 inhibitory arc 1 self-loop 1 signaling pathway 1 signaling pathways 1 timed branching bisimulation 1 シグナル伝達経路 1 時間ペトリネット 1 滞留なしペトリネット 1
Show More
Show Less
resource type
journal article 2 conference paper 1
school
大学院理工学研究科（理学） 2 教育学部 2 大学院理工学研究科（工学） 1
Result 3 Items
Id (<span class="translation_missing" title="translation missing: en.view.desc">Desc</span>)
Reduction operators based on behavioral inheritance for timed Petri nets
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume E97-A Issue 2
Creators : Toyoshima Ichiro | Nakano Shota | Yamaguchi Shingo Publishers : 電子情報通信学会 Date Issued : 2014
Incorporation of cycles and inhibitory arcs into the timed petri net model of signaling pathway
IEICE transactions on fundamentals of electronics, communications and computer sciences Volume E96-A Issue 2
Creators : Murakami Yuki | Ge Qi-Wei | Matsuno Hiroshi Publishers : 電子情報通信学会 Date Issued : 2013-02
Consideration on the token retention-free in timed Petri net model based on the signaling pathway characteristics
IEICE technical report Volume 111 Issue 453(MSS2011 72-87)
Creators : Murakami Yuki | Ge Qi-Wei | Matsuno Hiroshi Publishers : 電子情報通信学会 Date Issued : 2012-03-01
Related Creatrors
Matsuno Hiroshi 2 Katsu Kii 2 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.