| Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
| MSS |
2006-01-27
09:30 |
Kanagawa |
Toshiba Kagaku-Kan |
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.) |
[more] |
CST2005-39
pp.1-6 |
| MSS |
2006-01-27
09:50 |
Kanagawa |
Toshiba Kagaku-Kan |
Hierarchical Control Modeling of Automated Guided Vehicle System (AGVS) using Colored Petri Net
Tauseef Aized, Koji Takahashi, Ichiro Hagiwara (Tokyo Inst. of Tech.) |
(To be available after the conference date) [more] |
CST2005-40
pp.7-12 |
| MSS |
2006-01-27
10:10 |
Kanagawa |
Toshiba Kagaku-Kan |
On Soundness and Parallel Degree of Workflow Nets
Yuji Kaneko, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) |
This paper discusses soundness and parallel degree of workflow nets (WF-nets).
We first define parallel degree that is... [more] |
CST2005-41
pp.13-18 |
| MSS |
2006-01-27
10:30 |
Kanagawa |
Toshiba Kagaku-Kan |
On Generating Key-generators for a Public-key Cryptography - MEPKC
Ryosuke Murakami, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.) |
[more] |
CST2005-42
pp.19-24 |
| MSS |
2006-01-27
11:00 |
Kanagawa |
Toshiba Kagaku-Kan |
On Verification of Specification Satisfaction for Software Designed by Module Composition
Yuan-Kai Lei, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ,), Hirotoshi Tonou (Fujitsu Ten) |
[more] |
CST2005-43
pp.25-30 |
| MSS |
2006-01-27
11:20 |
Kanagawa |
Toshiba Kagaku-Kan |
On Simulation of BPEL4WS/UML Descriptions
Satoru Endo, Toshiyuki Miyamoto (Osaka Univ.), Taku Fujii (OGIS-RI), Sadatoshi Kumagai (Osaka Univ.) |
[more] |
CST2005-44
pp.31-36 |
| MSS |
2006-01-27
11:40 |
Kanagawa |
Toshiba Kagaku-Kan |
A Reachable State Space Generation Algorithm for Multi Agent Nets
Masaki Sakamoto, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.) |
Usually, the analysis of a system is performed with modeling. The Petri net is known as a model description language sui... [more] |
CST2005-45
pp.37-42 |
| MSS |
2006-01-27
13:00 |
Kanagawa |
Toshiba Kagaku-Kan |
Supervisory Control of Unbounded Petri Nets Based on Their Approximation Models
Shigemasa Takai (Kyoto Inst. of Tech.), Yongming Bai (Wakayama Univ.) |
In this paper, we study computation of the supremal controllable sublanguage of a given non-prefix-closed regular specif... [more] |
CST2005-46
pp.43-46 |
| MSS |
2006-01-27
13:20 |
Kanagawa |
Toshiba Kagaku-Kan |
Cooporative Searching of Distributed Parallel Genetic Algorithms and Its Experimental Evaluation
Yoshihide Kiyan, Morikazu Nakamura (Univ. of the Ryukyus) |
[more] |
CST2005-47
pp.47-51 |
| MSS |
2006-01-27
13:40 |
Kanagawa |
Toshiba Kagaku-Kan |
Muitl-objective optimization for tour route planning and a G-XML based tour information system
Azusa Tamashiro, , Shingo Tamaki, Morikazu Nakamura (Univ. of the Ryukyus) |
In this paper, we define first multi-objective optimal routing problems for sightseeing by extending the optimal routing... [more] |
CST2005-48
pp.53-56 |
| MSS |
2006-01-27
14:10 |
Kanagawa |
Toshiba Kagaku-Kan |
Distributed Simulation Time Synchronization Method for Moving Objects
Atsuo Ozaki, Shusuke Watanabe, Minoru Miyazawa, Masakazu Furuichi, Hiroyuki Sato (Mitsubishi Electric Corp.) |
We have proposed the distributed simulation time synchronization method for moving objects. This method can be enhanced ... [more] |
CST2005-49
pp.57-62 |
| MSS |
2006-01-27
14:30 |
Kanagawa |
Toshiba Kagaku-Kan |
A Coterie Construction Algorithm in Dynamic Environment
Hirohito Ozaki, Sayaka Kamei (Hiroshima Univ.), Hirotsugu Kakugawa (Osaka Univ.) |
[more] |
CST2005-50
pp.63-68 |
| MSS |
2006-01-27
14:50 |
Kanagawa |
Toshiba Kagaku-Kan |
A Time-based Appraising Method in Cached Peer-to-Peer Networks
Hiroyuki Kawai, Sayaka Kamei (Hiroshima Univ.), Hirotsugu Kakugawa (Osaka Univ.) |
[more] |
CST2005-51
pp.69-74 |
| MSS |
2006-01-27
15:20 |
Kanagawa |
Toshiba Kagaku-Kan |
[Invited Talk]
Tracking and analysis of mass movements
Naoki Imasaki (Toshiba) |
[more] |
CST2005-52
pp.75-80 |