6月1日(木) 午後
13:40 - 17:30 |
| (1) |
13:40-14:05 |
CO2排出量を考慮した分散EMSへの市場指向プログラミングの適用 |
○八切好司・宮本俊幸・熊谷貞俊（阪大）・森 一之・北村聖一・山本隆也（三菱電機） |
| (2) |
14:05-14:30 |
混合論理動的システム表現の改良に関する研究 |
○崔 舜星・平石邦彦（北陸先端大） |
| |
14:30-14:40 |
休憩 （ 10分 ） |
| (3) |
14:40-15:05 |
Concurrent Production Engineering System by Discrete Simulation and CAD |
Jaber E. Abu Qudeiri・Mohamed Anouar Jamali・○Hidehiko Yamamoto（Gifu Univ.） |
| (4) |
15:05-15:30 |
述語抽象化とその精錬による確率線形ハイブリッドオートマトンの到達可能解析手法 |
○加藤位明（金沢大）・陸田陽介（NEC）・山根 智（金沢大） |
| |
15:30-15:40 |
休憩 （ 10分 ） |
| (5) |
15:40-16:20 |
［チュートリアル講演］産業競争力強化への貢献拡大を意図したSICE組込み・ハイブリッド調査研究活動 |
○舩橋誠壽（日立） |
| (6) |
16:20-16:50 |
［招待講演］StarBED: 「町を丸ごとエミュレーション」を目指して（口頭発表） |
○篠田陽一・丹 康雄（北陸先端大/NICT） |
| |
16:50-17:00 |
移動時間 （ 10分 ） |
| (7) |
17:00-17:30 |
北陸IT研究開発支援センターの見学会 |
6月2日(金) 午前
09:50 - 11:40 |
| (8) |
09:50-10:15 |
Experiment-based Evaluation of Algorithms for the Legal Firing Sequence Problem of Petri Nets with Inhibitor Arcs |
○Satoshi Taoka・Toshimasa Watanabe（Hiroshima Univ.） |
| (9) |
10:15-10:40 |
Siphon-Trap-Based Algorithms for Computation of Petri Net Invariants with Supports Containing a Specified Place |
○Tomohiro Chikada・Satoshi Taoka・Toshimasa Watanabe（Hiroshima Univ.） |
| |
10:40-10:50 |
休憩 （ 10分 ） |
| (10) |
10:50-11:15 |
バッチ処理アークつきマークグラフの可達問題 |
水野奈美（デンソーテクノ）・○太田 淳・辻 孝吉（愛知県立大） |
| (11) |
11:15-11:40 |
拡張ペトリネットとJava/PNMLによる並列システムの構成手法 |
○山口真之介（九工大）・和崎克己・師玉康成（信州大） |
:
info
ts
-u