Communication-Communication Systems(Date:2002/05/22)

Presentation
表紙

,  

[Date]2002/5/22
[Paper #]
目次

,  

[Date]2002/5/22
[Paper #]
Modeling and Control of Switched Server Systems by Mixed Logical Dynamical Method

Ken KAWAMURA,  Yohei SATO,  Tomiji HISAMURA,  

[Date]2002/5/22
[Paper #]CST2002-1
The modelling of the network file server based on an extended Petri net.

Shin'nosuke YAMAGUCHI,  Katsumi WASAKI,  Yasunari SHIDAMA,  

[Date]2002/5/22
[Paper #]CST2002-2
Modeling and Computing Change Time for Migrate Dynamic Workflow Changes

Akira MISHIMA,  Shingo YAMAGUCHI,  Qi-Wei GE,  Minoru TANAKA,  

[Date]2002/5/22
[Paper #]CST2002-3
Coloured Petri-nets with time constraints for workflow descriptions

Kozo OKANO,  Akira YAMAGUCHI,  Kenichi TANIGUCHI,  

[Date]2002/5/22
[Paper #]CST2002-4
GRAFCETによるプラント制御システムのコンカレントエンジニアリングCADEPAによるシーケンス制御の設計・デバッグ・メンテナンス

,  

[Date]2002/5/22
[Paper #]CST2002-5
A Demand-Bus Simulation System using Multi-Agent Nets

Kazuya NAKATYOU,  Toshiyuki MIYAMOTO,  Sadatoshi KUMAGAI,  

[Date]2002/5/22
[Paper #]CST2002-6
An Manufacturing Resource Planning for Unit Product Flow Shops

Syoji YAMASHITA,  Toshiyuki MIYAMOTO,  Sadatoshi KUMAGAI,  Koichi FUKUMOTO,  Hideaki OHTA,  Yoichi NAGAO,  

[Date]2002/5/22
[Paper #]CST2002-7
A Decidable Local Process Logic for a Non-interleaving Process Algebra

Yoshinao ISOBE,  Kazuhito OHMAKI,  

[Date]2002/5/22
[Paper #]CST2002-8
Consideration of Ordering and Efficiency in Discrete Event Systems

Koji TAKAHASHI,  Shogo TAKAHASHI,  

[Date]2002/5/22
[Paper #]CST2002-9
[OTHERS]

,  

[Date]2002/5/22
[Paper #]