PanLinx
русский
rus-000
сетевой метод Петри
English
eng-000
Petri-nets approach
PanLex