通信-通信方式(開催日:2006/05/26)

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

,  

[発表日]2006/5/26
[資料番号]
目次

,  

[発表日]2006/5/26
[資料番号]
抑止辺を持つペトリネットにおける発火系列問題解法の実験的評価(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)

田岡 智志,  渡邉 敏正,  

[発表日]2006/5/26
[資料番号]CST2006-6
指定プレースをサポートに含む極小サポートインバリアントのサイフォン・トラップに基づく算出法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)

近田 智宏,  田岡 智志,  渡邉 敏正,  

[発表日]2006/5/26
[資料番号]CST2006-7
バッチ処理アークつきマークグラフの可達問題(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)

水野 奈美,  太田 淳,  辻 孝吉,  

[発表日]2006/5/26
[資料番号]CST2006-8
拡張ペトリネットとJava/PNMLによる並列システムの構成手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)

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

[発表日]2006/5/26
[資料番号]CST2006-9
複写される方へ

,  

[発表日]2006/5/26
[資料番号]
Notice about Photocopying

,  

[発表日]2006/5/26
[資料番号]
奥付

,  

[発表日]2006/5/26
[資料番号]