Engineering Sciences/NOLTA-Circuits and 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 #]CAS2002-97
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 #]CAS2002-98
Application of Fuzzy Timing Petri Net to Music Description

Atsushi OHTA,  Kohkichi TSUJI,  

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

Toshiyuki MIYAMOTO,  Sadatoshi KUMAGAI,  

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

Kouji OKAHASHI,  Kunihiko HIRAISHI,  

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

Akinori NOMURA,  Kunihiko HIRAISHI,  

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

Qiying HU,  Wuyi YUE,  

[Date]2002/11/2
[Paper #]CAS2002-103
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 #]CAS2002-104
On an Application of Groebner Bases to Behavioral Analyses for Petri Nets

Maki TAKATA,  Tadashi MATSUMOTO,  Seiichiro MORO,  

[Date]2002/11/2
[Paper #]CAS2002-105
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 #]CAS2002-106
[OTHERS]

,  

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