ken-system: Advance Program

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

===============================================
Technical Committee on Concurrent Systems Technology (CST)
Chair: Naoshi Uchihira Vice Chair: Katsu Kii
Secretary: Satoshi Taoka, Morikazu Nakamura
Assistant: Shingo yamaguchi

DATE:
Fri, Jan 27, 2006 09:30 - 16:00

PLACE:
Toshiba Science Museum(Komukaitoshiba-Cho 1, Saiwai-Ku, Kawasaki-City 212-8582. By Train + Bus
1 Take the JR Line to JR Kawasaki sta. (East Exit) or take the Keihin Kyuko Line to Keihin Kyuko Kawasaki sta.
2 Leave from Exit 10 or 11 of the Azalea Underground Shopping Arcade and make your way to the bus terminal.
3 Board Tokyu bus No.27 and get off at Komukai Koban bus stop
(10 minutes ride).
4 Toshiba Science Insititute is one minute walk.http://kagakukan.toshiba.co.jp/en/access/access.html. 044-549-2400)

TOPICS:
Concurrent systems, etc.

----------------------------------------
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.)

----- 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.)

----- 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)

----- 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.)

----- Break ( 10 min. ) -----

(14) 15:20 - 16:00
[Invited Talk]
Tracking and analysis of mass movements
Naoki Imasaki (Toshiba)

# Information for speakers
General Talk will have 15 minutes for presentation and 5 minutes for discussion.

=== Technical Committee on Concurrent Systems Technology (CST) ===

# SECRETARY:
Satoshi TAOKA（Infomation Engineering, Graduate School of Engineering, Hiroshima University)
TEL 082-424-7666, FAX 082-422-7028
E-mail: