Issue:Modelling self-scheduling matrix-vector multiplication using generalized nets