通信-通信方式(開催日：2002/07/30)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2002/7/30
[資料番号]
目次

,  

[発表日]2002/7/30
[資料番号]
システム理論形成の頃ZadehとKalmanのこと

児玉 慎三,  

[発表日]2002/7/30
[資料番号]CST2002-10
自動車制御システムにおけるマルチプロセッサスケジューリングについて

川尻 三重子,  葛 崎偉,  中田 充,  八木 潔,  斗納 宏敏,  

[発表日]2002/7/30
[資料番号]CST2002-11
拡張ネットモデルによるNFSプロセスのモデル化とXMLを用いた実装

山口 真之介,  和崎 克己,  師玉 康成,  

[発表日]2002/7/30
[資料番号]CST2002-12
ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語

池内 直哉,  大家 浩一,  高井 重昌,  

[発表日]2002/7/30
[資料番号]CST2002-13
ペトリネットの極小サイフォン・トラップの抽出法GMSTと効率的インバリアント算出法への応用

田口 旭洋,  田岡 智志,  渡邉 敏正,  

[発表日]2002/7/30
[資料番号]CST2002-14
各トランジションの発火が2回以下である辺重み付きカクタスにおける発火系列探索

高原 伸水,  田岡 智志,  渡邉 敏正,  

[発表日]2002/7/30
[資料番号]CST2002-15
グレブナー基底のペトリネット可到達問題への適用について

高田 真樹,  松本 忠,  茂呂 征一郎,  

[発表日]2002/7/30
[資料番号]CST2002-16
接続行列を用いたペトリネットの活性問題の解析について

太田 淳,  辻 孝吉,  

[発表日]2002/7/30
[資料番号]CST2002-17
[OTHERS]

,  

[発表日]2002/7/30
[資料番号]