Petri nets world