Technical Committee on Concurrent Systems Technology (CST) |
|
|
Chair |
|
Kohkichi Tsuji |
Vice Chair |
|
Naoshi Uchihira |
Secretary |
|
Satoshi Taoka, Jun Ohta |
|
Conference Date |
Thu, Jan 27, 2005 10:00 - 16:30 |
Topics |
Concurrent system, etc. |
Conference Place |
The University of Electro-Communications |
Address |
1-5-1 Chofugaoka, Chofu-shi, 182-8585 Japan. |
Transportation Guide |
5 minutes on foot from the Keio Lines Chofu station. http://www.uec.ac.jp/eng/about/visual/directions.html |
Contact Person |
Prof. Shigeyoshi Watanabe
0424-43-5298 |
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.) |
Contact Address and Latest Schedule Information |
CST |
Technical Committee on Concurrent Systems Technology (CST) |
Contact Address |
Atsushi Ohta(Faculty of Information Science and Technology,Aichi Prefectural University)
TEL0561-64-1111,FAX0561-64-1108
E- :oh![](/ken/images/new/at.gif) ist ai -pu |
Last modified: 2004-12-18 09:29:04
|
Notification: Mail addresses are partially hidden against SPAM.
|