S-Cover
for non Well-formed Net
20/3/2014
CE-653 - PTnet Theory and some
Algorithms
25
s0
t0
t1
s4
t2
t3
s1
s3
s0
t0
t1
s1
s0
t0
t1
s4
t2
t3
s1
s3
