Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
CST2007-11
Hybrid Petri Nets Modeling on Farm Work Flow
○Senlin Guan・Morikazu Nakamura・Takeshi Shikanai・Takeo Okazaki（Univ. of the Ryukyus）
pp. 1 - 6
CST2007-12
モデル検査ツールSPINによるワークフローネットの健全性の判定について
○山口宗師・山口真悟・田中 稔（山口大）
pp. 7 - 12
CST2007-13
古文献時代定位システムのためのグラフ理論による文字認識モデルの考察
○崔 日男・齋藤名美・中田 充・葛 崎偉・吉村 誠（山口大）
pp. 13 - 18
CST2007-14
Approximate control-invariance of hybrid systems with forcible events based on quotient transition systems
○Yoshiyuki Tsuchie・Toshimitsu Ushio（Osaka Univ.）
pp. 19 - 24
CST2007-15
UMLと価値関数を用いたソフトリアルタイムシステムの設計検証手法
○山根 智・坂倉賢昭（金沢大）
pp. 25 - 30
CST2007-16
Enhancing Stability of the Fourier-Motzkin Method based on Siphon-Trap Extraction of Petri Nets
○Tomohiro Chikada・Satoshi Taoka・Toshimasa Watanabe（Hiroshima Univ.）
pp. 31 - 36
CST2007-17
離散事象システムの故障予知診断について
○高井重昌（京都工繊大）
pp. 37 - 40
今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．