いろいろ考えると、STG(状態遷移グラフ)、EDG(イベント依存グラフ)、 EPT(イベントプロセス項)、EPG(イベントプロセスグラフ) の間に成り立つ直上的な変換関係は以下のようになるのだが STG_v->STG_e->EDG->(EPTEPG) EDGをSTG_e(STG_v)に逆変換する方法がよ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。