関係

連休を明けましたが、8/10から12ページ進みましたが進展はそんなにない

• 縦チェーン、横チェーンの制約システム対応がなんか間違っていた
• Opeの交換性は、なんか木構造?で説明はできるが、、、
• シナリオ合成でプロトコル（縦・横）の挿入に順序性はないのは、VSMのせいなのでVSMをちゃんと、離散PAでモデル化しないと説明にならない
• PAでシナリオ合成してゆくのと、チャネルを挿入するのは何が違う？前者は１つのFSMとして合成（畳み込み）してゆくのが違うのか。。

きょうもだめだめ。