Automotive in Petri