Contents Menu
keywordPetri net
Result 9 Items
Id (<span class="translation_missing" title="translation missing: en.view.desc">Desc</span>)
Polynomial time verification of reachability in sound extended free-choice workflow nets
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume E97-A Issue 2
Creators : Yamaguchi Shingo Publishers : 電子情報通信学会 Date Issued : 2014
A translator of C to petri net markup language C2PNML and its application examples
IEICE technical report Volume 111 Issue 453(MSS2011 72-87)
Creators : Taniguchi Hiroaki | Yamaguchi Shingo | Susaki Takeshi Publishers : 電子情報通信学会 Date Issued : 2012-03-01
A learning Petri net model based on reinforcement learning
Proceedings of the international symposium on artificial life and robotics Volume 15
Creators : Feng Liang-Bing | Obayashi Masanao | Kuremoto Takashi | Kobayashi Kunikazu Date Issued : 2010-02
Creators : Li Chen | Ge Qi-Wei | Nakata Mitsuru | Matsuno Hiroshi | Miyano Satoru Publishers : Springer Date Issued : 2007-01
Petri net based descriptions for the systematic understanding of biological pathways
IEICE transactions on fundamentals of electronics, communications and computer sciences Volume E89-A Issue 11
Creators : Matsuno Hiroshi | Li Chen | Miyano Satoru Publishers : 電子情報通信学会 Date Issued : 2006-11
Creators : Doi Atsushi | Nagasaki Masao | Ueno Kazuko | Matsuno Hiroshi | Miyano Satoru Publishers : 日本バイオインフォマティクス学会 Date Issued : 2006
Structural modeling and analysis of signaling pathways based on Petri nets
Journal of bioinformatics and computational biology Volume 4 Issue 5
Creators : Li Chen | Suzuki Shunichi | Ge Qi-Wei | Nakata Mitsuru | Matsuno Hiroshi | Miyano Satoru Publishers : Imperial College Press Date Issued : 2006-10
Creators : Matsuno Hiroshi | Tanaka Yukiko | Aoshima Hitoshi | Doi Atsushi | Matsui Mika | Miyano Satoru Publishers : IOS Press Date Issued : 2003
Creators : Nagasaki Masao | Doi Atsushi | Matsuno Hiroshi | Miyano Satoru Publishers : Open Mind Journals Date Issued : 2003