Petri nets are useful in modeling different processes, systems and nets. They possess such important properties as nondeterminancy and asynchrony. Petri nets produce languages, there exists a connection between Petri net languages and formal languages, defined by Chomsky hierarchy. It is proposed to investigate some properties of Petri nets languages