Thu, Jan 27 AM 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 |
Specification Verification by Conversion of each SDL Process Instance into Petri Nets |
Haruo Hasegawa (Oki Electric), Seiichiro Moro (Fukui Univ.), Tadashi Matsumoto (Fukui Univ. of Technology) |
(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.) |
Thu, Jan 27 PM 13:00 - 16:30 |
(5) |
13:00-13:25 |
A basic study of genetic network estimation with Bayesian network |
Kimi So, Takeo Okazaki (Univ. of the Ryukyus) |
(6) |
13:25-13:50 |
A Parallel Computing System on Data Grid Environment using Process Migration |
Tsuguhiro Kondo, Hirotsugu Kakugawa (Hiroshima Univ.) |
(7) |
13:50-14:15 |
On Computation of Worst Change Time for Flush, Abort, SCO Dynamic Changes of State Machine Workflow Nets |
Katsuaki Miyauchi, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) |
(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 |
Break ( 10 min. ) |
(9) |
14:50-15:15 |
Distributed DataBase System using Secret Sharing Sheme |
Yasuhiro Morita, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ) |
(10) |
15:15-15:40 |
An Evolutionary Tree-base Method for Multiple Alignment Problems |
Chihiro Miyazato, Morikazu Nakamura (Ryukyu Univ.), Yumiko Nakajima (Univ. of the Ryukyus) |
(11) |
15:40-16:05 |
A I Clusteringethod based on Multiple Quasi-Minimum Spanning Trees |
Daisuke Kagawa, Morikazu Nakamura (Ryukyu Univ.), Yumiko Nakajima (Univ. of the Ryukyus) |
(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.) |