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