PanLinx
русский
rus-000
управляющее устройство на базе сетей Петри
English
eng-000
Petri net controller
PanLex