PETRI

Definition of PETRI