A PETRI NET DEFINITION