oh, mann….!!!!……

kann mir bitte jemand erklären was nun der unterschied zwischen fair und verschleppungsfrei ist???

In Bezug auf Netze?

Ein Netz ist fair, wenn alle Transitionen immer wieder schalten können und dies auch tatsächlich tun. In einer unendlichen Schaltfolge, schalten also alle Transitionen unendlich oft.

Verschleppungsfrei bedeutet dann nicht nur, das die Transitionen immer wieder aktiviert werden, sondern sogar permanent aktiviert sind.

Fair: ( )<-----( ) | | (*)----->( ) Verschleppungsfrei (wenn denn alles schön syncrhon schaltet [img]http://www.fb18.de/gfx/22.gif[/img]: (*)<----(*) | | (*)---->(*)

aha! gaanz grossen lieben dank!!!:)

Ein Netz ist fair, wenn alle Transitionen immer wieder schalten können und dies auch tatsächlich tun. In einer unendlichen Schaltfolge, schalten also alle Transitionen unendlich oft.

Das stimmt nicht so ganz, dann wäre Lebendigkeit eine Voraussetzung für Fairness.

Fairness ist so definiert, dass eine Transition, die unendlich oft aktivierbar ist, auch tatsächlich schaltet. Ein totes Netz ist damit auch fair, weil keine Transition schalten kann!