坂元 章 | お茶の水女大・院
スポンサーリンク
概要
論文 | ランダム
- 自動生成されたペトリネットの初等T-invariantの列挙アルゴリズム(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 並行プログラミング言語へのチャネル使用法宣言の導入
- オープンソース数式処理システムによる確率ペトリネットの定常状態解析(コンカレントシステム,一般)
- オープンソース数式処理システムによる確率ペトリネットの定常状態解析
- ペトリネットシステムの性能シミュレーション向き性能改善エキスパートシステム(システム,特集「Web情報処理」及び一般)