PanLinx
русский
rus-000
модель на базе сетей Петри
English
eng-000
Petri model
PanLex