発行年2010 - 2014 キーワードtimed Petri net 部局
検索結果 3 件
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
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
シグナル伝達経路の性質に基づく時間ペトリネットのトークン滞留なし条件の検討
電子情報通信学会技術研究報告. MSS, システム数理と応用 111 巻 453(MSS2011 72-87) 号
作成者 : 村上 祐樹 | 葛 崎偉 | 松野 浩嗣 出版者 : 電子情報通信学会 発行日 : 2012-03-01