Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
CST2005-39
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.)
pp. 1 - 6
CST2005-40
Hierarchical Control Modeling of Automated Guided Vehicle System (AGVS) using Colored Petri Net
Tauseef Aized, Koji Takahashi, Ichiro Hagiwara (Tokyo Inst. of Tech.)
pp. 7 - 12
CST2005-41
On Soundness and Parallel Degree of Workflow Nets
Yuji Kaneko, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.)
pp. 13 - 18
CST2005-42
On Generating Key-generators for a Public-key Cryptography - MEPKC
Ryosuke Murakami, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.)
pp. 19 - 24
CST2005-43
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)
pp. 25 - 30
CST2005-44
On Simulation of BPEL4WS/UML Descriptions
Satoru Endo, Toshiyuki Miyamoto (Osaka Univ.), Taku Fujii (OGIS-RI), Sadatoshi Kumagai (Osaka Univ.)
pp. 31 - 36
CST2005-45
A Reachable State Space Generation Algorithm for Multi Agent Nets
Masaki Sakamoto, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.)
pp. 37 - 42
CST2005-46
Supervisory Control of Unbounded Petri Nets Based on Their Approximation Models
Shigemasa Takai (Kyoto Inst. of Tech.), Yongming Bai (Wakayama Univ.)
pp. 43 - 46
CST2005-47
Cooporative Searching of Distributed Parallel Genetic Algorithms and Its Experimental Evaluation
Yoshihide Kiyan, Morikazu Nakamura (Univ. of the Ryukyus)
pp. 47 - 51
CST2005-48
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)
pp. 53 - 56
CST2005-49
Distributed Simulation Time Synchronization Method for Moving Objects
Atsuo Ozaki, Shusuke Watanabe, Minoru Miyazawa, Masakazu Furuichi, Hiroyuki Sato (Mitsubishi Electric Corp.)
pp. 57 - 62
CST2005-50
A Coterie Construction Algorithm in Dynamic Environment
Hirohito Ozaki, Sayaka Kamei (Hiroshima Univ.), Hirotsugu Kakugawa (Osaka Univ.)
pp. 63 - 68
CST2005-51
A Time-based Appraising Method in Cached Peer-to-Peer Networks
Hiroyuki Kawai, Sayaka Kamei (Hiroshima Univ.), Hirotsugu Kakugawa (Osaka Univ.)
pp. 69 - 74
CST2005-52
[Invited Talk]
Tracking and analysis of mass movements
Naoki Imasaki (Toshiba)
pp. 75 - 80