Question: shall input transitions create tokens ?

Currently, transitions without incoming places, generate tokens but it seems that is not in the Petri standard. I implicitly added a loop with a place with a token. What is the expected behavior ?