Add a better naming strategy for new place/transitions