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

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

,  

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

,  

[発表日]1995/7/7
[資料番号]
非有界な状態空間をもつ並行システムに対する縮約状態空間の生成について

平石 邦彦,  

[発表日]1995/7/7
[資料番号]
Pontryaginの最小原理によるペトリネットの可到達性解析の試み

松本 忠,  タレク アハメド,  サレー サリヘン,  

[発表日]1995/7/7
[資料番号]
与えられた半言語に適合するアトム全体の集合を求めるアルゴリズム

可児 伸介,  橋爪 進,  小野木 克明,  西村 義行,  

[発表日]1995/7/7
[資料番号]
タイム・ペトリネットの最短時間可達問題

太田 淳,  久村 富持,  

[発表日]1995/7/7
[資料番号]
離散事象システムにおける可達集合の高速検証方式

上田 佳寛,  田倉 昭,  太田 理,  

[発表日]1995/7/7
[資料番号]
[OTHERS]

,  

[発表日]1995/7/7
[資料番号]