zu einem Petrinetz definierte Netzsprache, bei der die Beschriftung der Transitionen injektiv und ε-frei ist.

Dadurch kann jede Transition in den Wörtern der Sprache identifiziert werden. Freie Netzsprachen werden zur Definition der Semantik von Petrinetzen verwendet.

Die Klasse der freien Netzsprachen korrespondiert mit keinem Sprachtyp der Chomsky-Hierarchie.