Communication-Communication Systems(Date:2002/07/30)

Presentation
表紙

,  

[Date]2002/7/30
[Paper #]
目次

,  

[Date]2002/7/30
[Paper #]
システム理論形成の頃ZadehとKalmanのこと

,  

[Date]2002/7/30
[Paper #]CST2002-10
On Multiprocessor Scheduling for Automotive Control Systems

Mieko KAWAJIRI,  Qi-Wei GE,  Mitsuru NAKATA,  Kiyoshi YAGI,  Hirotoshi TONOU,  

[Date]2002/7/30
[Paper #]CST2002-11
Modelling and Implement of the Network File Server Process based on an Extended Petri Net and XML tool

Shin'nosuke YAMAGUCHI,  Katsumi WASAKI,  Yasunari SHIDAMA,  

[Date]2002/7/30
[Paper #]CST2002-12
The Generated Language under Decentralized Supervision with the OR and And Rules

Naoya IKEUCHI,  Koichi OYA,  Shigemasa TAKAI,  

[Date]2002/7/30
[Paper #]CST2002-13
An algorithm GMST for extracting minimal siphon-traps and its application to efficient computation of Petri net invariants

Akihiro TAGUCHI,  Satoshi TAOKA,  Toshimasa WATANABE,  

[Date]2002/7/30
[Paper #]CST2002-14
Finding legal firing sequences of edge-weighted cactuses with each transition firing at most twice

Shinsui TAKAHARA,  Satoshi TAOKA,  Toshimasa WATANABE,  

[Date]2002/7/30
[Paper #]CST2002-15
On an Application to Reachability Problems for Petri Nets by Groebner Bases

Maki TAKATA,  Tadashi MATSUMOTO,  Seiichiro MORO,  

[Date]2002/7/30
[Paper #]CST2002-16
Liveness Analysis of Petri Nets Using Incidence Matrices

Atsushi OHTA,  Kohkichi TSUJI,  

[Date]2002/7/30
[Paper #]CST2002-17
[OTHERS]

,  

[Date]2002/7/30
[Paper #]