PTnet Definitions – Siphons and Traps
20/3/2014
CE-653 - PTnet Theory and some Algorithms
14
}The set {s1, s2} is a siphon; the set {s3, s4} is a trap
siphon-trap-example.jpg