PTnet Definitions – Graph Properties
20/3/2014
CE-653 - PTnet Theory and some Algorithms
15
}Definition [Handle]:
}Let N’ be a partial subnet of N.
}An elementary path π = (x0f0x1…fn-1xn) is a handle of N’
iff π ∩ N’ = {x0, xn}
}
…
x0
xn
N-N’
N’