i A . PETRI : N.