Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
CST2007-6
言語測度を用いた離散事象システムの制御について
○山崎達志(摂南大)
pp. 1 - 6
CST2007-7
優先度付き非決定性スーパバイザの存在条件について
○乾 翼・潮 俊光(阪大)
pp. 7 - 12
CST2007-8
需要変動を考慮した生産システムの性能解析
○中島健一(阪工大)・伊藤 健(東北大)
pp. 13 - 14
CST2007-9
自動生成されたペトリネットの初等T-invariantの列挙アルゴリズム
山口 亮・村上亮介・○中田 充・葛 崎偉(山口大)
pp. 15 - 20
CST2007-10
ペトリネットマーキング構成問題に対する発火系列探索法の改良
○石井稔久・田岡智志・渡邉敏正(広島大)
pp. 21 - 26
今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。
注: 本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります.