Кафедра программирования механико-математического факультета Новосибирского государственного университета
Трансляция иерархических временных типизированных сетей Петри в раскрашенные сети Петри