Communication-Communication Systems(Date:2002/11/02)

Presentation
表紙

,  

[Date]2002/11/2
[Paper #]
目次

,  

[Date]2002/11/2
[Paper #]
[CATALOG]

,  

[Date]2002/11/2
[Paper #]
HMS Distributed clock simulator

Naoki IMASAKI,  Shinsuke TAMURA,  

[Date]2002/11/2
[Paper #]CST2002-32
The modelling of the network file server based on an extended Petri net and XML tool.

Shin'nosuke YAMAGUCHI,  Katsumi WASAKI,  Yasunari SHIDAMA,  

[Date]2002/11/2
[Paper #]CST2002-33
Application of Fuzzy Timing Petri Net to Music Description

Atsushi OHTA,  Kohkichi TSUJI,  

[Date]2002/11/2
[Paper #]CST2002-34
On Reachability Analysis of Multi Agent Nets

Toshiyuki MIYAMOTO,  Sadatoshi KUMAGAI,  

[Date]2002/11/2
[Paper #]CST2002-35
On Efficient Analysis of Agent-Oriented Petri net PN^2 : Behavior Preserving Reduction Method

Kouji OKAHASHI,  Kunihiko HIRAISHI,  

[Date]2002/11/2
[Paper #]CST2002-36
On Qualitative Analisys of Hybrid Systems

Akinori NOMURA,  Kunihiko HIRAISHI,  

[Date]2002/11/2
[Paper #]CST2002-37
Properties of the Optimality Equation and Optimal Policies in Discrete Time Markov Decision Processes

Qiying HU,  Wuyi YUE,  

[Date]2002/11/2
[Paper #]CST2002-38
Some Algebraic Structures and Properties of Generators at Level 3,4, and 5 for a State Equation in Petri Nets

Maki TAKATA,  Tadashi MATSUMOTO,  Seiichiro MORO,  

[Date]2002/11/2
[Paper #]CST2002-39
On an Application of Groebner Bases to Behavioral Analyses for Petri Nets

Maki TAKATA,  Tadashi MATSUMOTO,  Seiichiro MORO,  

[Date]2002/11/2
[Paper #]CST2002-40
A Method to Judge Executability of a Firing Count Vector for P/T Petri Net : A Method by Using the Generators of a Solution

Kunihiko INABA,  Tomohiro YOSHIDA,  Maki TAKATA,  Tadashi MATSUMOTO,  Seiichiro MORO,  

[Date]2002/11/2
[Paper #]CST2002-41
[OTHERS]

,  

[Date]2002/11/2
[Paper #]