Object oriented petrinets