Fri, Jan 27 AM 09:30 - 12:00 |
(1) |
09:30-09:50 |
Effective Selection of Transitions in Finding Minimizing Initial Markings of Petri Nets |
Satoshi Taoka (Hiroshima Univ.), Masahiro Yamauchi (Kinki Univ.), Koichiro Horikoshi, Toshimasa Watanabe (Hiroshima Univ.) |
(2) |
09:50-10:10 |
Hierarchical Control Modeling of Automated Guided Vehicle System (AGVS) using Colored Petri Net |
Tauseef Aized, Koji Takahashi, Ichiro Hagiwara (Tokyo Inst. of Tech.) |
(3) |
10:10-10:30 |
On Soundness and Parallel Degree of Workflow Nets |
Yuji Kaneko, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) |
(4) |
10:30-10:50 |
On Generating Key-generators for a Public-key Cryptography - MEPKC |
Ryosuke Murakami, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.) |
|
10:50-11:00 |
Break ( 10 min. ) |
(5) |
11:00-11:20 |
On Verification of Specification Satisfaction for Software Designed by Module Composition |
Yuan-Kai Lei, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ,), Hirotoshi Tonou (Fujitsu Ten) |
(6) |
11:20-11:40 |
On Simulation of BPEL4WS/UML Descriptions |
Satoru Endo, Toshiyuki Miyamoto (Osaka Univ.), Taku Fujii (OGIS-RI), Sadatoshi Kumagai (Osaka Univ.) |
(7) |
11:40-12:00 |
A Reachable State Space Generation Algorithm for Multi Agent Nets |
Masaki Sakamoto, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.) |
|
12:00-13:00 |
Lunch Break ( 60 min. ) |
Fri, Jan 27 PM 13:00 - 16:00 |
(8) |
13:00-13:20 |
Supervisory Control of Unbounded Petri Nets Based on Their Approximation Models |
Shigemasa Takai (Kyoto Inst. of Tech.), Yongming Bai (Wakayama Univ.) |
(9) |
13:20-13:40 |
Cooporative Searching of Distributed Parallel Genetic Algorithms and Its Experimental Evaluation |
Yoshihide Kiyan, Morikazu Nakamura (Univ. of the Ryukyus) |
(10) |
13:40-14:00 |
Muitl-objective optimization for tour route planning and a G-XML based tour information system |
Azusa Tamashiro, , Shingo Tamaki, Morikazu Nakamura (Univ. of the Ryukyus) |
|
14:00-14:10 |
Break ( 10 min. ) |
(11) |
14:10-14:30 |
Distributed Simulation Time Synchronization Method for Moving Objects |
Atsuo Ozaki, Shusuke Watanabe, Minoru Miyazawa, Masakazu Furuichi, Hiroyuki Sato (Mitsubishi Electric Corp.) |
(12) |
14:30-14:50 |
A Coterie Construction Algorithm in Dynamic Environment |
Hirohito Ozaki, Sayaka Kamei (Hiroshima Univ.), Hirotsugu Kakugawa (Osaka Univ.) |
(13) |
14:50-15:10 |
A Time-based Appraising Method in Cached Peer-to-Peer Networks |
Hiroyuki Kawai, Sayaka Kamei (Hiroshima Univ.), Hirotsugu Kakugawa (Osaka Univ.) |
|
15:10-15:20 |
Break ( 10 min. ) |
(14) |
15:20-16:00 |
[Invited Talk]
Tracking and analysis of mass movements |
Naoki Imasaki (Toshiba) |