3.1 Labelled transition systems ラベル付遷移システム。 LTS over Act は、次のような(Q, T)である。 Q は states の set T は transition relationのset。T⊆(Q × Act × Q) 3.2 Strong simulation 読み中。 日本語の上記本の解説を発見。 http://kaiya.cs.…

おもろげ。 業務アプリでどんなワークフローというか状態遷移のような処理が必要とされているかに興味があって詳説 ビジネスプロセスモデリング ―SOAベストプラクティス (THEORY/IN/PRACTICE)作者: Michael Havey,長瀬嘉秀(監訳),永田渉(監訳),株式会社テク…