Communication-Communication Systems(Date:2007/08/24)

Presentation
表紙

,  

[Date]2007/8/24
[Paper #]
目次

,  

[Date]2007/8/24
[Paper #]
Hybrid Petri Nets Modeling on Farm Work Flow

Senlin GUAN,  Morikazu NAKAMURA,  Takeshi SHIKANAI,  Takeo OKAZAKI,  

[Date]2007/8/24
[Paper #]CST2007-11
On Soundness Verification of Workflow Nets Using the SPIN Model Checker

Munenori YAMAGUCHI,  Shingo YAMAGUCHI,  Minoru TANAKA,  

[Date]2007/8/24
[Paper #]CST2007-12
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,  

[Date]2007/8/24
[Paper #]CST2007-13
Approximate control-invariance of hybrid systems with forcible events based on quotient transition systems

Yoshiyuki TSUCHIE,  Toshimitsu USHIO,  

[Date]2007/8/24
[Paper #]CST2007-14
UMLと価値関数を用いたソフトリアルタイムシステムの設計検証手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)

Satoshi YAMANE,  Masaaki SAKAKURA,  

[Date]2007/8/24
[Paper #]CST2007-15
Enhancing Stability of the Fourier-Motzkin Method based on Siphon-Trap Extraction of Petri Nets

Tomohiro CHIKADA,  Satoshi TAOKA,  Toshimasa WATANABE,  

[Date]2007/8/24
[Paper #]CST2007-16
On Predictive Diagnosis for Failures in Discrete Event Systems

Shigemasa TAKAI,  

[Date]2007/8/24
[Paper #]CST2007-17
複写される方へ

,  

[Date]2007/8/24
[Paper #]
Notice for Photocopying

,  

[Date]2007/8/24
[Paper #]
奥付

,  

[Date]2007/8/24
[Paper #]