PanLinx
Deutsch
deu-000
Petri-Netz
čeština
ces-000
Petriho síť
English
eng-000
Petri net
PanLex
