キーワード
timed Petri net
種類
学術雑誌論文
発行年
2010 - 2014
2
キーワード
timed Petri net
2
behavioral inheritnce
1
cycle
1
inhibitory arc
1
retention-free Petri net
1
self-loop
1
signaling pathway
1
timed branching bisimulation
1
種類
学術雑誌論文
2
部局
大学院理工学研究科（理学）
1
大学院理工学研究科（工学）
1
教育学部
1
検索結果 2 件
登録番号 (降順)
表示順
なし
登録番号(昇順)
登録番号(降順)
更新日 (昇順)
更新日 (降順)
公開日 (昇順)
公開日 (降順)
発行年月日 (昇順)
発行年月日 (降順)
山口大学学術機関リポジトリYUNOCA
Reduction operators based on behavioral inheritance for timed Petri nets
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E97-A 巻 2 号
作成者
: Toyoshima Ichiro | Nakano Shota | 山口 真悟
出版者
: 電子情報通信学会
発行日
: 2014
山口大学学術機関リポジトリYUNOCA
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 E96-A 巻 2 号
作成者
: Murakami Yuki | 葛 崎偉 | 松野 浩嗣
出版者
: 電子情報通信学会
発行日
: 2013-02
関連作成者
松野 浩嗣
1
山口 真悟
1
葛 崎偉
1
