Как называются
сети Петри, в которых продолжительности срабатывания переходов задаются
как функции некоторых аргументов, в качестве которых могут быть состояния
каких-либо переходов или количества маркеров в определенных позициях и т.п.?