| 1 | はじめに | .... 1 |
| 2 | 時制論理とペトリネット | .... 1 |
| 3 | MENDELネット(構造記述) | .... 1 |
| 4 | 同期仕様記述言語TSL(制約記述) | .... 1 |
| 5 | 同期部の生成手順 | .... 1 |
| 6 | MENDELネットからの構造グラフの生成 | .... 1 |
| 7 | TSLからTSLモデルグラフの生成 | .... 2 |
| 8 | モデルグラフ=構造グラフ×TSLモデルグラフ | .... 2 |
| 9 | 同期部のコード生成 | .... 2 |
| 10 | まとめ | .... 2 |
| 謝辞 | .... 2 | |
| 参考文献 | .... 2 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda