Communication-Communication Systems(Date:1996/01/19)

Presentation
表紙

,  

[Date]1996/1/19
[Paper #]
目次

,  

[Date]1996/1/19
[Paper #]
An Object-Oriented Concurrent Design Support System

Daiji Iwasaki,  Yumiko Namekawa,  Tsuyoshi Ando,  

[Date]1996/1/19
[Paper #]CST95-29
An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits

Toshiyuki Miyamoto,  Sadatoshi Kumagai,  

[Date]1996/1/19
[Paper #]CST95-30
Petri net based discrete-event modeling of a nuclear plant

T. Saito,  H. Shibata,  S. Kumagai,  

[Date]1996/1/19
[Paper #]CST95-31
An agent net model of autonomous distributed systems

T. Nobata,  T. Miyamoto,  S. Kumagai,  

[Date]1996/1/19
[Paper #]CST95-32
The Legal Firing Sequence Problem for Weighted State Machines

Keisuke Morita,  Toshimasa Watanabe,  

[Date]1996/1/19
[Paper #]CST95-33
Application of Petri nets to B type KJ method

Jun MUNEMORI,  Yoji NAGASAWA,  

[Date]1996/1/19
[Paper #]CST95-34
Generalized Submarking Reachability Problems with/without a Firinig Count Vector and their Inverse Problems of Petri Nets

Tadashi MATSUMOTO,  

[Date]1996/1/19
[Paper #]CST95-35
On Petri Nets as Performance Evaluation Models

Kunihiko Hiraishi,  

[Date]1996/1/19
[Paper #]CST95-36
[OTHERS]

,  

[Date]1996/1/19
[Paper #]