:: NET_1 semantic presentation

K148() is Element of bool K144()

K144() is set

bool K144() is non empty set

K87() is set

bool K87() is non empty set

bool K148() is non empty set

K223() is set

N is PT_net_Str

the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]

the carrier of N is set

the carrier' of N is set

[: the carrier of N, the carrier' of N:] is Relation-like set

bool [: the carrier of N, the carrier' of N:] is non empty set

the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]

[: the carrier' of N, the carrier of N:] is Relation-like set

bool [: the carrier' of N, the carrier of N:] is non empty set

the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set

N is PT_net_Str

(N) is set

the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]

the carrier of N is set

the carrier' of N is set

[: the carrier of N, the carrier' of N:] is Relation-like set

bool [: the carrier of N, the carrier' of N:] is non empty set

the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]

[: the carrier' of N, the carrier of N:] is Relation-like set

bool [: the carrier' of N, the carrier of N:] is non empty set

the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set

N is PT_net_Str

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

{} is empty Relation-like non-empty empty-yielding set

the empty Relation-like non-empty empty-yielding set is empty Relation-like non-empty empty-yielding set

X is PT_net_Str

(X) is set

the carrier of X is set

the carrier' of X is set

the carrier of X \/ the carrier' of X is set

N is set

N is set

X is PT_net_Str

the carrier of X is set

(X) is set

the carrier' of X is set

the carrier of X \/ the carrier' of X is set

N is set

X is PT_net_Str

the carrier' of X is set

(X) is set

the carrier of X is set

the carrier of X \/ the carrier' of X is set

{} ({},{}) is Relation-like Element of bool [:{},{}:]

[:{},{}:] is Relation-like set

bool [:{},{}:] is non empty set

PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is strict PT_net_Str

the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is set

the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is set

the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) /\ the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is set

(PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #)) is Relation-like set

the S-T_Arcs of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is Relation-like Element of bool [: the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):]

[: the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):] is Relation-like set

bool [: the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):] is non empty set

the T-S_Arcs of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is Relation-like Element of bool [: the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):]

[: the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):] is Relation-like set

bool [: the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):] is non empty set

the S-T_Arcs of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) \/ the T-S_Arcs of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #) is Relation-like set

[: the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):] \/ [: the carrier' of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #), the carrier of PT_net_Str(# {},{},({} ({},{})),({} ({},{})) #):] is Relation-like set

N is set

X is () PT_net_Str

the carrier of X is set

the carrier' of X is set

N is set

X is set

[N,X] is set

x is () PT_net_Str

(x) is Relation-like set

the S-T_Arcs of x is Relation-like Element of bool [: the carrier of x, the carrier' of x:]

the carrier of x is set

the carrier' of x is set

[: the carrier of x, the carrier' of x:] is Relation-like set

bool [: the carrier of x, the carrier' of x:] is non empty set

the T-S_Arcs of x is Relation-like Element of bool [: the carrier' of x, the carrier of x:]

[: the carrier' of x, the carrier of x:] is Relation-like set

bool [: the carrier' of x, the carrier of x:] is non empty set

the S-T_Arcs of x \/ the T-S_Arcs of x is Relation-like set

[: the carrier of x, the carrier' of x:] \/ [: the carrier' of x, the carrier of x:] is Relation-like set

N is set

X is set

[N,X] is set

x is () PT_net_Str

(x) is Relation-like set

the S-T_Arcs of x is Relation-like Element of bool [: the carrier of x, the carrier' of x:]

the carrier of x is set

the carrier' of x is set

[: the carrier of x, the carrier' of x:] is Relation-like set

bool [: the carrier of x, the carrier' of x:] is non empty set

the T-S_Arcs of x is Relation-like Element of bool [: the carrier' of x, the carrier of x:]

[: the carrier' of x, the carrier of x:] is Relation-like set

bool [: the carrier' of x, the carrier of x:] is non empty set

the S-T_Arcs of x \/ the T-S_Arcs of x is Relation-like set

[: the carrier of x, the carrier' of x:] \/ [: the carrier' of x, the carrier of x:] is Relation-like set

N is set

X is set

[N,X] is set

x is () PT_net_Str

(x) is Relation-like set

the S-T_Arcs of x is Relation-like Element of bool [: the carrier of x, the carrier' of x:]

the carrier of x is set

the carrier' of x is set

[: the carrier of x, the carrier' of x:] is Relation-like set

bool [: the carrier of x, the carrier' of x:] is non empty set

the T-S_Arcs of x is Relation-like Element of bool [: the carrier' of x, the carrier of x:]

[: the carrier' of x, the carrier of x:] is Relation-like set

bool [: the carrier' of x, the carrier of x:] is non empty set

the S-T_Arcs of x \/ the T-S_Arcs of x is Relation-like set

[: the carrier of x, the carrier' of x:] \/ [: the carrier' of x, the carrier of x:] is Relation-like set

N is set

X is set

[N,X] is set

x is () PT_net_Str

(x) is Relation-like set

the S-T_Arcs of x is Relation-like Element of bool [: the carrier of x, the carrier' of x:]

the carrier of x is set

the carrier' of x is set

[: the carrier of x, the carrier' of x:] is Relation-like set

bool [: the carrier of x, the carrier' of x:] is non empty set

the T-S_Arcs of x is Relation-like Element of bool [: the carrier' of x, the carrier of x:]

[: the carrier' of x, the carrier of x:] is Relation-like set

bool [: the carrier' of x, the carrier of x:] is non empty set

the S-T_Arcs of x \/ the T-S_Arcs of x is Relation-like set

[: the carrier of x, the carrier' of x:] \/ [: the carrier' of x, the carrier of x:] is Relation-like set

N is PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N) is Relation-like set

the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]

[: the carrier of N, the carrier' of N:] is Relation-like set

bool [: the carrier of N, the carrier' of N:] is non empty set

the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]

[: the carrier' of N, the carrier of N:] is Relation-like set

bool [: the carrier' of N, the carrier of N:] is non empty set

the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set

x is set

y is set

z is set

[z,X] is set

z is set

[z,X] is set

x is set

y is set

z is set

[X,z] is set

z is set

[X,z] is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N,X) is set

x is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N,X) is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N,X) is set

x is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N,X) is set

N is set

X is () PT_net_Str

(X) is set

the carrier of X is set

the carrier' of X is set

the carrier of X \/ the carrier' of X is set

x is Element of (X)

(X,x) is set

[N,x] is set

(X) is Relation-like set

the S-T_Arcs of X is Relation-like Element of bool [: the carrier of X, the carrier' of X:]

[: the carrier of X, the carrier' of X:] is Relation-like set

bool [: the carrier of X, the carrier' of X:] is non empty set

the T-S_Arcs of X is Relation-like Element of bool [: the carrier' of X, the carrier of X:]

[: the carrier' of X, the carrier of X:] is Relation-like set

bool [: the carrier' of X, the carrier of X:] is non empty set

the S-T_Arcs of X \/ the T-S_Arcs of X is Relation-like set

[N,x] is set

(X) is Relation-like set

the S-T_Arcs of X is Relation-like Element of bool [: the carrier of X, the carrier' of X:]

[: the carrier of X, the carrier' of X:] is Relation-like set

bool [: the carrier of X, the carrier' of X:] is non empty set

the T-S_Arcs of X is Relation-like Element of bool [: the carrier' of X, the carrier of X:]

[: the carrier' of X, the carrier of X:] is Relation-like set

bool [: the carrier' of X, the carrier of X:] is non empty set

the S-T_Arcs of X \/ the T-S_Arcs of X is Relation-like set

N is set

X is () PT_net_Str

(X) is set

the carrier of X is set

the carrier' of X is set

the carrier of X \/ the carrier' of X is set

x is Element of (X)

(X,x) is set

[x,N] is set

(X) is Relation-like set

the S-T_Arcs of X is Relation-like Element of bool [: the carrier of X, the carrier' of X:]

[: the carrier of X, the carrier' of X:] is Relation-like set

bool [: the carrier of X, the carrier' of X:] is non empty set

the T-S_Arcs of X is Relation-like Element of bool [: the carrier' of X, the carrier of X:]

[: the carrier' of X, the carrier of X:] is Relation-like set

bool [: the carrier' of X, the carrier of X:] is non empty set

the S-T_Arcs of X \/ the T-S_Arcs of X is Relation-like set

[x,N] is set

(X) is Relation-like set

the S-T_Arcs of X is Relation-like Element of bool [: the carrier of X, the carrier' of X:]

[: the carrier of X, the carrier' of X:] is Relation-like set

bool [: the carrier of X, the carrier' of X:] is non empty set

the T-S_Arcs of X is Relation-like Element of bool [: the carrier' of X, the carrier of X:]

[: the carrier' of X, the carrier of X:] is Relation-like set

bool [: the carrier' of X, the carrier of X:] is non empty set

the S-T_Arcs of X \/ the T-S_Arcs of X is Relation-like set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

{X} is non empty set

(N,X) is set

x is set

y is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N,X) is set

{X} is non empty set

(N,X) is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N,X) is set

{X} is non empty set

x is set

(N,X) is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N,X) is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

{X} is non empty set

(N,X) is set

x is set

y is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N,X) is set

{X} is non empty set

(N,X) is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N,X) is set

{X} is non empty set

x is set

(N,X) is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N,X) is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N,X) is set

(N,X) is set

(N,X) \/ (N,X) is set

N is PT_net_Str

the carrier' of N is set

the carrier of N is set

X is Element of the carrier' of N

(N) is Relation-like set

the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]

[: the carrier of N, the carrier' of N:] is Relation-like set

bool [: the carrier of N, the carrier' of N:] is non empty set

the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]

[: the carrier' of N, the carrier of N:] is Relation-like set

bool [: the carrier' of N, the carrier of N:] is non empty set

the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set

x is set

y is set

z is set

[z,X] is set

z is set

[z,X] is set

x is set

y is set

z is set

[X,z] is set

z is set

[X,z] is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is set

bool (N) is non empty set

bool (bool (N)) is non empty set

x is Element of bool (bool (N))

y is set

z is set

c

(N,c

x is set

y is set

z is set

c

(N,c

z is set

c

(N,c

bool (N) is non empty set

bool (bool (N)) is non empty set

x is Element of bool (bool (N))

y is set

z is set

c

(N,c

x is set

y is set

z is set

c

(N,c

z is set

c

(N,c

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N,X) is set

x is set

(N,x) is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is Element of (N)

(N,X) is set

x is set

(N,x) is set

N is () PT_net_Str

X is set

(N,X) is set

union (N,X) is set

(N,X) is set

union (N,X) is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is set

x is set

(N,x) is set

(N,x) is set

union (N,x) is set

y is set

z is Element of (N)

(N,z) is set

y is Element of (N)

(N,y) is set

y is Element of (N)

(N,y) is set

z is Element of (N)

(N,z) is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

X is set

x is set

(N,x) is set

(N,x) is set

union (N,x) is set

y is set

z is Element of (N)

(N,z) is set

y is Element of (N)

(N,y) is set

y is Element of (N)

(N,y) is set

z is Element of (N)

(N,z) is set

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

bool (N) is non empty set

X is Element of bool (N)

(N,X) is set

(N,X) is set

union (N,X) is set

x is Element of (N)

y is Element of (N)

[x,y] is set

(N) is Relation-like set

the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]

[: the carrier of N, the carrier' of N:] is Relation-like set

bool [: the carrier of N, the carrier' of N:] is non empty set

the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]

[: the carrier' of N, the carrier of N:] is Relation-like set

bool [: the carrier' of N, the carrier of N:] is non empty set

the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set

(N,y) is set

(N,y) is set

(N,x) is set

{x} is non empty set

y is Element of (N)

y is set

y is set

z is Element of (N)

(N,z) is set

(N,z) is set

[x,z] is set

(N) is Relation-like set

the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]

[: the carrier of N, the carrier' of N:] is Relation-like set

bool [: the carrier of N, the carrier' of N:] is non empty set

the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]

[: the carrier' of N, the carrier of N:] is Relation-like set

bool [: the carrier' of N, the carrier of N:] is non empty set

the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set

{z} is non empty set

c

y is Element of (N)

z is Element of (N)

N is () PT_net_Str

(N) is set

the carrier of N is set

the carrier' of N is set

the carrier of N \/ the carrier' of N is set

bool (N) is non empty set

X is Element of bool (N)

(N,X) is set

(N,X) is set

union (N,X) is set

x is Element of (N)

y is Element of (N)

[y,x] is set

(N) is Relation-like set

the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]

[: the carrier of N, the carrier' of N:] is Relation-like set

bool [: the carrier of N, the carrier' of N:] is non empty set

the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]

[: the carrier' of N, the carrier of N:] is Relation-like set

bool [: the carrier' of N, the carrier of N:] is non empty set

the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set

(N,y) is set

(N,y) is set

(N,x) is set

{x} is non empty set

y is Element of (N)

y is set

y is set

z is Element of (N)

(N,z) is set

(N,z) is set

[z,x] is set

(N) is Relation-like set

the S-T_Arcs of N is Relation-like Element of bool [: the carrier of N, the carrier' of N:]

[: the carrier of N, the carrier' of N:] is Relation-like set

bool [: the carrier of N, the carrier' of N:] is non empty set

the T-S_Arcs of N is Relation-like Element of bool [: the carrier' of N, the carrier of N:]

[: the carrier' of N, the carrier of N:] is Relation-like set

bool [: the carrier' of N, the carrier of N:] is non empty set

the S-T_Arcs of N \/ the T-S_Arcs of N is Relation-like set

{z} is non empty set

c

y is Element of (N)

z is Element of (N)