(Back to Session Schedule)

The 23rd International Technical Conference on Circuits/Systems, Computers and Communications

Session F1  Graph, Petri Nets & Algorithms 1
Time: 11:00 - 12:30 Monday, July 7, 2008
Location: 8F 803 Room
Chairs: Daisuke Takafuji (Hiroshima Univ., Japan), Chiranut Sa-ngiamsak (Khon Kaen Univ., Thailand)

F1-1 (Time: 11:00 - 11:18)
TitleEfficient Deadlock Detection in FMS based on the Transitive Matrix of Resource Share Places
AuthorJongwoog Kim, *Jongkun Lee (Changwon National Univ., Republic of Korea)
Pagepp. 277 - 280
Detailed information (abstract, keywords, etc)

F1-2 (Time: 11:18 - 11:36)
TitleModeling of Quantum Computer by using Quantum Petri Net
Author*Shinsuke Ito, Atsushi Ohta, Kohkichi Tsuji (Aichi Prefectural Univ., Japan)
Pagepp. 281 - 284
Detailed information (abstract, keywords, etc)

F1-3 (Time: 11:36 - 11:54)
TitleA Soundness Verification Tool Based on the SPIN Model Checker for Acyclic Workflow Nets
AuthorShingo Yamaguchi, *Munenori Yamaguchi, Minoru Tanaka (Yamaguchi Univ., Japan)
Pagepp. 285 - 288
Detailed information (abstract, keywords, etc)

F1-4 (Time: 11:54 - 12:12)
TitleA Model of Multiprocessor System with Communication Delays and Its Scheduling Method
Author*Takashi Otsuka (Yamaguchi Univ., Japan), Hironori Youhata (Fujitsu TEN Limited, Japan), Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ., Japan), Yuu Moriyama, Hirotoshi Tonou (Fujitsu TEN Limited, Japan)
Pagepp. 289 - 292
Detailed information (abstract, keywords, etc)

F1-5 (Time: 12:12 - 12:30)
TitleReachability Problem of State Machines with Batch Processing Arcs
AuthorNami Mizuno (DENSOTECHNO CO., Ltd., Japan), *Atsushi Ohta, Kohkichi Tsuji (Aichi Prefectural Univ., Japan)
Pagepp. 293 - 296
Detailed information (abstract, keywords, etc)