Algorithm
- LTS visit to derive interaction sets formed by interaction pairs (IP) - (p1 ,p2 ) flow of data from p1 to p2
- model connecting elements with buffer
- mark non-deterministic IP
- examines the sets of IP to generate the service centers and topology of the QNM