$PETRI - Petri | Doppler