PanLinx
русский
rus-000
сеть Петри
English
eng-000
PN
English
eng-000
Petri net
English
eng-000
Petri-net
PanLex
