IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Concurrent Systems Technology

Workshop Date : 2007-08-31 / Issue Date : 2007-08-24

CST2007-11
Hybrid Petri Nets Modeling on Farm Work Flow
Senlin Guan, Morikazu Nakamura, Takeshi Shikanai, Takeo Okazaki (Univ. of the Ryukyus)
pp. 1 - 6

CST2007-12
On Soundness Verification of Workflow Nets Using the SPIN Model Checker
Munenori Yamaguchi, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.)
pp. 7 - 12

CST2007-13
On Modeling Handwritten Characters for Identifying Ages of Japanese Historical Documents Based on Graph Theory
Ri-Nan Cui, Nami Saitou, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.)
pp. 13 - 18

CST2007-14
Approximate control-invariance of hybrid systems with forcible events based on quotient transition systems
Yoshiyuki Tsuchie, Toshimitsu Ushio (Osaka Univ.)
pp. 19 - 24

CST2007-15
Design Verification Technique of A Soft Real-Time System using UML and Utility Function
Satoshi Yamane, Masaaki Sakakura (Kanazawa Univ.)
pp. 25 - 30

CST2007-16
Enhancing Stability of the Fourier-Motzkin Method based on Siphon-Trap Extraction of Petri Nets
Tomohiro Chikada, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
pp. 31 - 36

CST2007-17
On Predictive Diagnosis for Failures in Discrete Event Systems
Shigemasa Takai (Kyoto Inst. of Tech.)
pp. 37 - 40

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan