OBJSA Nets: a class of high level nets having objects as domains