電子情報通信学会技術研究報告

Print edition: ISSN 0913-5685

Volume 106, Number 89

コンカレント工学

[PREV] [NEXT]

[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]

目次

CST2006-6
Experiment-based Evaluation of Algorithms for the Legal Firing Sequence Problem of Petri Nets with Inhibitor Arcs
○Satoshi Taoka・Toshimasa Watanabe（Hiroshima Univ.）
pp. 1 - 6

CST2006-7
Siphon-Trap-Based Algorithms for Computation of Petri Net Invariants with Supports Containing a Specified Place
○Tomohiro Chikada・Satoshi Taoka・Toshimasa Watanabe（Hiroshima Univ.）
pp. 7 - 12

CST2006-8
バッチ処理アークつきマークグラフの可達問題
水野奈美（デンソーテクノ）・○太田　淳・辻　孝吉（愛知県立大）
pp. 13 - 18

CST2006-9
拡張ペトリネットとJava/PNMLによる並列システムの構成手法
○山口真之介（九工大）・和崎克己・師玉康成（信州大）
pp. 19 - 24

今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。

注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．