| Technical Committee on Concurrent Systems Technology (CST) |
|
|
| Chair |
|
Katsu Kii |
| Vice Chair |
|
Toshimitsu Ushio |
| Secretary |
|
Morikazu Nakamura, Shingo yamaguchi |
| Assistant |
|
Tatsushi Yamasaki |
|
| Conference Date |
Fri, Aug 31, 2007 13:00 - 17:00 |
| Topics |
Concurrent Systems, Discrete Event Systems and Hybrid Systems |
| Conference Place |
Interdisciplinary Faculty of Science and Engineering, Shimane University |
| Address |
690-8504 1060 Nishikawatsu-cho, Matsue-shi |
| Transportation Guide |
http://www.riko.shimane-u.ac.jp/english/index.html |
Contact
Person |
Prof. Masato Hiarakawa |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Fri, Aug 31 PM
13:00 - 14:40 |
| (1) |
13:00-13:25 |
Hybrid Petri Nets Modeling on Farm Work Flow  CST2007-11 |
Senlin Guan, Morikazu Nakamura, Takeshi Shikanai, Takeo Okazaki (Univ. of the Ryukyus) |
| (2) |
13:25-13:50 |
On Soundness Verification of Workflow Nets Using the SPIN Model Checker CST2007-12 |
Munenori Yamaguchi, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.) |
| (3) |
13:50-14:15 |
On Modeling Handwritten Characters for Identifying Ages of Japanese Historical Documents Based on Graph Theory CST2007-13 |
Ri-Nan Cui, Nami Saitou, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.) |
| (4) |
14:15-14:40 |
Approximate control-invariance of hybrid systems with forcible events based on quotient transition systems CST2007-14 |
Yoshiyuki Tsuchie, Toshimitsu Ushio (Osaka Univ.) |
Fri, Aug 31 PM
14:45 - 16:00 |
| (5) |
14:45-15:10 |
Design Verification Technique of A Soft Real-Time System using UML and Utility Function CST2007-15 |
Satoshi Yamane, Masaaki Sakakura (Kanazawa Univ.) |
| (6) |
15:10-15:35 |
Enhancing Stability of the Fourier-Motzkin Method based on Siphon-Trap Extraction of Petri Nets CST2007-16 |
Tomohiro Chikada, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
| (7) |
15:35-16:00 |
On Predictive Diagnosis for Failures in Discrete Event Systems CST2007-17 |
Shigemasa Takai (Kyoto Inst. of Tech.) |
Fri, Aug 31 PM Invited Talk
16:10 - 17:00 |
| (8) |
16:10-17:00 |
[Invited Talk]
Invited Talk |
Masato Hirakawa (Shimane Univ.) |
| Contact Address and Latest Schedule Information |
| CST |
Technical Committee on Concurrent Systems Technology (CST) |
| Contact Address |
Morikazu Nakamura（Dept. of Infomation Engineering, University of the Ryukyus)
TEL 098-895-8715, FAX 098-895-8727
E- :     ie u-r k |
Last modified: 2007-06-25 12:10:17
|