REDES PREDICADO-TRANSICIN (Pr-T).

Formuladas por Genrich & Lautenbach en 1981. ejemplo.

a)

b)

PN de bajo nivel:

U6b

U0b
V6

V5
V0

U0a

U6a

U5b
U5a

U1a

U4a

V4

U1b

V1

U2a
U3a

U4b

U2b

V3
V2

U3b

Primera reduccin:

<b>

<b>

U6x
<b>

U0x
<a>

<a>

(a)
<a>

<b>

<a>
<b>

<b>

<a>
<a>

U5x

V6
V5

<b>

U1x

V0
<a>

<a>

<b>

V1

V4
V3

V2

<a>

<a>
<b>

<b>
(b)

U4x

<a>

<a>

U2x

<a>
<a>

<b>

<b>
<b>

U3x

<b>

Segunda reduccin:

U6x

<x>

<x>

U0x
(a)

<x>

<x>

<x>

<x>

V6
V0

V5

U5x
<x>

U1x

V1

V4
V3

<x>

V2

<x>

<x>

U4x

U2x
<x>

<x>
<x>

<x>
U3x

Modelo final (red Pr-T):

<0,a>
<4,b>

<i,x>

<j,x>

j = (i+1) | 7
k = (i-1) | 7

<k>

(1) (2)
(5)

<j>