PAによる定式化の試み

年末ずっとやっていた、プロセス代数でワークフローシステムの定式化を
試みていたが、どうもうまく纏まらない。

とくに、プロセス項同士の部分マッチというのが今100歩である、最初は
順序依存関係のマトリクスを作って、これにて比較を行うことを試みたが
どうも、部分比較となると、Projectionが必要になって、このProjection
がうまく定義できない。

それと、仮にプロセス代数にて定式化できたとしても、そのメリットが
良く見えないというのが悩みどころ（定式化 De nothing)。

すこしはまりすぎた、主テーマに戻ろう。