03」カテゴリーアーカイブ

Formal Translation from Reversing Petri Nets to Coloured Petri Nets

要約 可逆計算は、計算中の任意の時点で一連の操作を逆の順序で実行できるようにする … 続きを読む

カテゴリー: 03, cs.CL, F.2; G.0 | Formal Translation from Reversing Petri Nets to Coloured Petri Nets はコメントを受け付けていません