PanLinx
English
eng-000
Petri-net
日本語
jpn-000
ペトリネット
русский
rus-000
сеть Петри
PanLex
