1月27日(木) 午前
10:00 - 11:40 |
| (1) |
10:00-10:25 |
A New Proposal of Petri Net Based Formulation for Analyzing Signaling Pathways |
○Chen Li・Shunichi Suzuki・Qi-Wei Ge・Mitsuru Nakata・Hiroshi Matsuno（Yamaguchi Univ.）・Satoru Miyano（Univ. of Tokyo） |
| (2) |
10:25-10:50 |
On Computation of PARAdeg of Data-Flow Program Nets with SWITCH-nodes |
○Tatsuya Watanabe・Shingo Yamaguchi・Qi-Wei Ge・Minoru Tanaka（Yamaguchi Univ.） |
| (3) |
10:50-11:15 |
SDLプロセスごとのペトリネット変換による仕様検証 |
○長谷川晴朗（OKI）・茂呂征一郎（福井大）・松本 忠（福井工大） |
| (4) |
11:15-11:40 |
Linear Programming-based Computation of Petri Net Invariants with Supports Containing Specified Places |
○Atsushi Iriboshi・Satoshi Taoka・Toshimasa Watanabe（Hiroshima Univ.） |
1月27日(木) 午後
13:00 - 16:30 |
| (5) |
13:00-13:25 |
ベイジアンネットワークによる遺伝子ネットワーク推定 |
○曹 貴美・岡崎威生（琉球大） |
| (6) |
13:25-13:50 |
プロセスマイグレーションを用いたデータグリッド環境における並列計算システム |
○近藤紹弘・角川裕次（広島大） |
| (7) |
13:50-14:15 |
状態機械ワークフローネットのFlush、Abort、SCO方式による動的変更に対する最悪変更時間の計算について |
○宮内克彰・山口真悟・葛 崎偉・田中 稔（山口大） |
| (8) |
14:15-14:40 |
Decentralized Supervisory Control Using Dynamic Default Control |
○Shigemasa Takai（Kyoto Inst. of Tech.）・Toshimitsu Ushio（Osaka Univ.） |
| |
14:40-14:50 |
休憩 （ 10分 ） |
| (9) |
14:50-15:15 |
秘密分散共有法を用いた分散データベースシステム |
○守田泰博・宮本俊幸・熊谷貞俊（阪大） |
| (10) |
15:15-15:40 |
進化ツリーベース法によるマルチプルアラインメント問題の解法 |
○宮里千尋・名嘉村盛和・中島裕美子（琉球大） |
| (11) |
15:40-16:05 |
複数の準最小木を考慮した遺伝子発現データクラスタリング |
○鹿川大輔・名嘉村盛和・中島裕美子（琉球大） |
| (12) |
16:05-16:30 |
Improving Computation of Legal Firing Sequences of Petri Nets based on Behavioral Deadlock Avoidance |
○Yasutoshi Yoshimoto・Satoshi Taoka・Toshimasa Watanabe（Hiroshima Univ.） |
:oh
ist
ai
-pu