1月27日(金) 午前
09:30 - 12:00 |
| (1) |
09:30-09:50 |
Effective Selection of Transitions in Finding Minimizing Initial Markings of Petri Nets |
○Satoshi Taoka（Hiroshima Univ.）・Masahiro Yamauchi（Kinki Univ.）・Koichiro Horikoshi・Toshimasa Watanabe（Hiroshima Univ.） |
| (2) |
09:50-10:10 |
Hierarchical Control Modeling of Automated Guided Vehicle System (AGVS) using Colored Petri Net |
○Tauseef Aized・Koji Takahashi・Ichiro Hagiwara（Tokyo Inst. of Tech.） |
| (3) |
10:10-10:30 |
ワークフローネットの健全性と並列度について |
○金子侑史・山口真悟・葛 崎偉・田中 稔（山口大） |
| (4) |
10:30-10:50 |
公開鍵暗号システムMEPKCにおける鍵生成器の作成 |
○村上亮介・葛 崎偉・中田 充（山口大） |
| |
10:50-11:00 |
休憩 （ 10分 ） |
| (5) |
11:00-11:20 |
モジュール合成を用いたソフトウェア設計における仕様の充足性検証に関する考察 |
○雷 源凱・葛 崎偉・中田 充（山口大）・斗納宏敏（富士通テン） |
| (6) |
11:20-11:40 |
On Simulation of BPEL4WS/UML Descriptions |
○Satoru Endo・Toshiyuki Miyamoto（Osaka Univ.）・Taku Fujii（OGIS-RI）・Sadatoshi Kumagai（Osaka Univ.） |
| (7) |
11:40-12:00 |
マルチエージェントネットの可達空間生成アルゴリズム |
○坂本雅樹・宮本俊幸・熊谷貞俊（阪大） |
| |
12:00-13:00 |
昼食 （ 60分 ） |
1月27日(金) 午後
13:00 - 16:00 |
| (8) |
13:00-13:20 |
近似モデルに基づく非有界ペトリネットのスーパバイザ制御 |
○高井重昌（京都工繊大）・白 永明（和歌山大） |
| (9) |
13:20-13:40 |
分散並列遺伝アルゴリズムの協調探索とその性能評価 |
○喜屋武義秀・名嘉村盛和（琉球大） |
| (10) |
13:40-14:00 |
観光経路計画における多目的最適化と観光情報システム |
○玉城 梓・松田善臣・玉城信吾・名嘉村盛和（琉球大） |
| |
14:00-14:10 |
休憩 （ 10分 ） |
| (11) |
14:10-14:30 |
移動物体を対象とした分散シミュレーション時刻同期方式 |
○尾崎敦夫・渡部修介・宮沢 稔・古市昌一・佐藤裕幸（三菱電機） |
| (12) |
14:30-14:50 |
動的環境に於けるコータリ構成アルゴリズム |
○尾崎比呂人・亀井清華（広島大）・角川裕次（阪大） |
| (13) |
14:50-15:10 |
キャッシュを行うP2Pシステムにおける時間を基にした評価手法 |
○川井裕之・亀井清華（広島大）・角川裕次（阪大） |
| |
15:10-15:20 |
休憩 （ 10分 ） |
| (14) |
15:20-16:00 |
［招待講演］群集の行動観測と分析 |
○今崎直樹（東芝） |
:
info
ts
-u